A Model-Based Approach to System Specification for Distributed Real-Time and Embedded Systems

T Deepika, J Deenathayalan, S Kumar

Abstract


Distributed, real-time, and embedded (DRE) systems take input from many remote sensors, and provide geographically-dispersed operators with the ability to interact with the collected information and to control remote actuators. These devices are useful in a range of DRE application domains such as avionics, biomedical devices and telemedicine, remote sensing, space exploration and command and control. An important design challenge for such complex DRE computing systems is to satisfy performance and reliability constraints while ensuring efficient exploration through a very large architectural design space, and a very large implementation space for microelectronic system implementations. Current strategies in meeting these challenges has led to emergence of a new class of modeling and implementation tools that enable composition of such systems for microelectronic implementations and limited capabilities for retargeting existing compilers for new processors.


Keywords


Distributed Real-Time and Embedded (DRE), architectural description languages (ADLs), OS kernel.

References


[Azevedo02] Ana Azevedo, Ilya Issenin, Radu Cornea Rajesh Gupta, Nikil Dutt, Alex Veidenbaum, Alex Nicolau, "Profile-based Dynamic Voltage Scheduling using Program Checkpoints in the COPPER Framework", Design Automation and Test in Europe, March 2002.

[Broy01] M. Broy, K. Stølen, “Specification and Development of Interactive Systems”. Focus on Streams, Interfaces, and Refinement. Springer, 2001

[Chou02] P. H. Chou, J. Liu, D. Li, and N. Bagherzadeh, "IMPACCT: Methodology and tools for power aware embedded systems", Design Automation for Embedded Systems, Kluwer International Journal, Special Issue on Design Methodologies and Tools for Real-Time Embedded Systems, 2002.

[Cornea03] R. Cornea1, N. Dutt, R. Gupta, I. Krueger, A. Nicolau, D. Schmidt, S. Shukla, “FORGE: A Framework for Optimization of Distributed Embedded Systems Software”, 17th International Parallel and Distributed Processing Symposium , 2003.

[Express] Expression Project Webpage, http://www.cecs.uci.edu/~aces/projMain.html#expression

[Halambi99] Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare, Nikil Dutt, Alex Nicolau, "EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability", DATE 99.

[Havinga00] P. J. M. Havinga, “Mobile Multimedia Systems”, PhD thesis, University of Twente, Feb 2000.

ITU-R Recommendation BT-500.7, “Methodology for the subjective assessment of the quality of television pictures”, ITU Geneva Switzerland, 1995.

[Krueger02] I. Krüger, “Towards Precise Service Specification with UML and UML-RT”, in: Critical Systems Development with UML (CSDUML). Workshop at «UML» 2002, 2002

[Leeser97] P. Soderquist, M. Leeser, “Optimizing the data cache performance of a software MPEG-2 video decoder”, ACM Multimedia, 1997, pp. 291–301.

[Mishra01] Prabhat Mishra, Peter Grun, Nikil Dutt, Alex Nicolau, "Processor-Memory Co-Exploration driven by a Memory-Aware Architecture Description Language”, the 14th International Conference on VLSI Design (VLSI Design 2001), Jan. 2001

[Mishra02] Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, Peter Grun, Nikil Dutt, Alex Nicolau, "Automatic Modeling and Validation of Pipeline Specifications driven by an Architecture Description Language", VLSI Design ASPDAC 2002.

[Mohapatra02] Shivajit Mohapatra, Nalini Venkatasubramanian, "A Distributed Adaptive Scheduler for QoS Support in Compose|Q", Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002). January 7-9, 2002 San Diego,CA

[Mohapatra03] Shivajit Mohapatra, Nalini Venkatasubramanian, "PARM: Power Aware Reconfigurable Middleware", IEEE International Conference on Distributed Computer Systems (ICDCS-23), Rhode Island, May 2003.

[Radkov03] P. Shenoy, P. Radkov, “Proxy-Assisted power-friendly streaming to mobile devices”, MMCN, January 2003.

[Schantz02] Richard E. Schantz and Douglas C. Schmidt, “Middleware for Distributed Systems: Evolving the Common Structure for Network-centric Applications,” Encyclopedia of Software Engineering, Wiley and Sons, 2002.

[Venkatubramanian01] Nalini Venkatubramanian, Mayur Deshpande, Shivajit Mohapatra, Sebastian Gutierrez-Nolasco and Jehan Wickramasuriya, "Design & Implementation of a Composable Reflective Middleware Framework", IEEE International Conference on Distributed Computer Systems (ICDCS-21), Phoenix AZ, April 2001.

[Wang01] Nanbor Wang, Douglas C. Schmidt, Kirthika Parameswaran, and Michael Kircher, “Towards a Reflective Middleware Framework for QoS-enabled CORBA Component Model Applications,” IEEE Distributed Systems Online special issue on Reflective Middleware, 2001.


Full Text: PDF

Refbacks

  • There are currently no refbacks.


Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

.......................................................................................................................................................................................................................

ISSN  2279 – 0381 |  IST HOMEJOURNAL HOME | Copyright IST 2012-13

.......................................................................................................................................................................................................................