Title :
Resource modeling for embedded systems design
Author_Institution :
Pennsylvania Univ., Philadelphia, PA, USA
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;
Conference_Titel :
Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings. Second IEEE Workshop on
Print_ISBN :
0-7695-2123-1
DOI :
10.1109/WSTFES.2004.1300422
