DocumentCode
3012207
Title
Resource modeling for embedded systems design
Author
Sokolsky, Oleg
Author_Institution
Pennsylvania Univ., Philadelphia, PA, USA
fYear
2004
fDate
11-12 May 2004
Firstpage
99
Lastpage
103
Abstract
The paper describes a formal framework for designing and reasoning about resource-constrained embedded systems. The framework is based on a series of process algebraic formalisms which have been previously developed to describe and analyze various aspects of real-time concurrent systems. We present a uniform framework for formal treatment of resources and illustrate modeling of common resource classes.
Keywords
embedded systems; formal specification; formal verification; multiprocessing systems; process algebra; resource allocation; systems analysis; common resource class modeling; formal framework; process algebraic formalism; real-time concurrent system; resource-constrained embedded systems design; Actuators; Embedded software; Embedded system; Energy consumption; Performance analysis; Power system modeling; Resource management; Sensor phenomena and characterization; System testing; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings. Second IEEE Workshop on
Print_ISBN
0-7695-2123-1
Type
conf
DOI
10.1109/WSTFES.2004.1300422
Filename
1300422
Link To Document