Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:x8c5kjdfvj0lgxd9 > Verification and sc...

Verification and scheduling techniques for real-time embedded systems / by Luis Alejandro Cortés.

Cortés, Luis Alejandro, 1971- (författare)
Peng, Zebo (preses)
Eles, Petru (preses)
Linköpings universitet Institutionen för datavetenskap (utgivare)
Linköpings universitet Tekniska högskolan (utgivare)
Publicerad: Linköping : Linköping University Electronic Press, 2005
Engelska 1 onlineresurs (213 sidor)
Serie: Linköping Studies in Science and Technology. Dissertations, 0345-7524 0345-7524 ; 920
Läs hela texten (Sammanfattning och fulltext från Linköping University Electronic Press)
Läs hela texten
  • E-bokAvhandling(Diss. Linköping : Linköpings universitet, 2005)
Sammanfattning Ämnesord
Stäng  
  • Embedded computer systems have become ubiquitous. They are used in a wide spectrum of applications, ranging from household appliances and mobile devices to vehicle controllers and medical equipment. This dissertation deals with design and verification of embedded systems, with a special emphasis on the real-time facet of such systems, where the time at which the results of the computations are produced is as important as the logical values of these results. Within the class of real-time systems two categories, namely hard real-time systems and soft real-time systems, are distinguished and studied in this thesis. First, we propose modeling and verification techniques targeted towards hard real-time systems, where correctness, both logical and temporal, is of prime importance. A model of computation based on Petri nets is defined. The model can capture explicit timing information, allows tokens to carry data, and supports the concept of hierarchy. Also, an approach to the formal verification of systems represented in our modeling formalism is introduced, in which model checking is used to prove whether the system model satisfies its required properties expressed as temporal logic formulas. Several strategies for improving verification efficiency are presented and evaluated. Second, we present scheduling approaches for mixed hard/soft real-time systems. We study systems that have both hard and soft real-time tasks and for which the quality of results (in the form of utilities) depends on the completion time of soft tasks. Also, we study systems for which the quality of results (in the form of rewards) depends on the amount of computation allotted to tasks. We introduce quasi-static techniques, which are able to exploit at low cost the dynamic slack caused by variations in actual execution times, for maximizing utilities/rewards and for minimizing energy. Numerous experiments, based on synthetic benchmarks and realistic case studies, have been conducted in order to evaluate the proposed approaches. The experimental results show the merits and worthiness of the techniques introduced in this thesis and demonstrate that they are applicable on real-life examples. 

Ämnesord

Datorsystem  (sao)
Inbyggda system  (sao)
Realtidssystem  (sao)
Natural Sciences  (ssif)
Computer and Information Sciences  (ssif)
Computer Sciences  (ssif)
Naturvetenskap  (ssif)
Data- och informationsvetenskap (Datateknik)  (ssif)
Datavetenskap (datalogi)  (ssif)
TECHNOLOGY  (svep)
Information technology  (svep)
Computer science  (svep)
TEKNIKVETENSKAP  (svep)
Informationsteknik  (svep)
Datavetenskap  (svep)
Embedded computer systems  (LCSH)
Real-time data processing  (LCSH)

Genre

government publication  (marcgt)

Indexterm och SAB-rubrik

Computer systems
Embedded computer systems
real-time systems
Pua Datorer och datorsystem
Pubdb Operativsystem

Klassifikation

004.1 (DDC)
005.43 (DDC)
Pua (kssb/7)
Pubdb (kssb/7)
Inställningar Hjälp

Titeln finns på 1 bibliotek. 

Bibliotek i östra Sverige (1)

Ange som favorit
Om LIBRIS
Sekretess
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy