Resource modeling for embedded systems design

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.

[1]  Alan C. Shaw,et al.  Communicating Real-Time State Machines , 1992, IEEE Trans. Software Eng..

[2]  Insup Lee,et al.  A Temporal Logic Based Theory of Test Coverage and Generation , 2002, TACAS.

[3]  Thorsten Kramp,et al.  Towards a Uniform Modeling Technique for Resource-Usage Scenarios , 1999, PDPTA.

[4]  Insup Lee,et al.  Generating embedded software from hierarchical hybrid models , 2003, LCTES '03.

[5]  Joseph Sifakis.  Scheduler Modeling Based on the Controller Synthesis Paradigm , 2002, FTRTFT.

[6]  Insup Lee,et al.  A Family of Resource-Bound Real-Time Process Algebras , 2001 .

[7]  Mikael Buchholtz,et al.  Towards a Process Algebra for Shared Processors , 2002, MTCS.

[8]  Insup Lee,et al.  Compositional Refinement for Hierarchical Hybrid Systems , 2001, HSCC.

[9]  Kang G. Shin,et al.  Resource management for real-time communication: making theory meet practice , 1996, Proceedings Real-Time Technology and Applications.

[10]  Insup Lee,et al.  A process algebraic approach to the specification and analysis of resource-bound real-time systems , 1994, Proc. IEEE.

[11]  Insup Lee,et al.  Modeling and Analysis of Power-Aware Systems , 2003, TACAS.

[12]  Hanêne Ben-Abdallah,et al.  Specification and analysis of real-time systems with PARAGON , 1999, Ann. Softw. Eng..

[13]  Miguel Felder,et al.  Verification of real-time designs: combining scheduling theory with automatic formal verification , 1999, ESEC/FSE-7.

[14]  Jérôme Ermont,et al.  TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources , 2002, Theory and Practice of Timed Systems @ ETAPS.

[15]  Ragunathan Rajkumar,et al.  Cooperative scheduling of multiple resources , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[16]  Lonnie R. Welch,et al.  Heterogeneous resource management for dynamic real-time systems , 2000, Proceedings 9th Heterogeneous Computing Workshop (HCW 2000) (Cat. No.PR00556).

[17]  Insup Lee,et al.  The specification and schedulability analysis of real-time systems using ACSR , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[18]  Insup Lee,et al.  A General Resource Framework for Real-Time Systems , 2002, RISSEF.

[19]  Insup Lee,et al.  The integrated specification and analysis of functional, temporal, and resource requirements , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.