Sökning: "Ed Brinksma"

Hittade 1 avhandling innehållade orden Ed Brinksma.

1. 1. A Generic Approach to Schedulability Analysis of Real-Time Systems

   Författare :Elena Fersman; Wang Yi; Ed Brinksma; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : This thesis presents a framework for design, analysis, and implementation of embedded systems. We adopt a model of timed automata extended with asynchronous processes i.e. tasks triggered by events. LÄS MER