Article

Time weaver: a software-through-models framework for embedded real-time systems

Authors:

Dionisio de Niz,

Raj RajkumarAuthors Info & Claims

LCTES '03: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems

Pages 133 - 143

https://doi.org/10.1145/780732.780751

Published: 11 June 2003 Publication History

Abstract

Embedded real-time systems are deployed in a wide range of application domains including transportation systems, automated manufacturing, process control, defense, aerospace, and telecommunications. These systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. The cross-cutting behaviors imposed by these para-functional properties and dependencies on operational characteristics (e.g. hardware, OS and middleware platforms used) have traditionally led to hard-to-code, hard-to-understand and hard-to-change software. The net result is that productivity improvements in embedded software development have been miniscule compared to improvements in computing and network technologies. We propose a software-through-models framework for the concurrent construction of behavioral models and executable code. Our framework, which can lead to high degrees of cost-effective reuse of embedded software components, decomposes inter-component relationships with an abstraction named coupler. This decomposition enables the separation of para-functional aspects into multiple semantic dimensions (e.g. timing, event flow, concurrency, fault-tolerance, deployment) that can be modified independent of one another. The impact of changes in one dimension on the realization of other dimensions is automatically projected and managed. Platform dependencies are also captured separately, enabling a code-generation subsystem to re-use the same components across a wide range of heterogeneous platforms and applications. System components can be recursively composed or decomposed. An analyzable software structure is enforced such that the end-to-end timing behavior of the resulting system can be verified. A visual tool called Time Weaver supports the framework and has been used to model avionics systems, automotive systems and signal processing systems. The software can be downloaded from[4].

References

[1]

Kevin Bradley. A Framework For Incorporating Real-Time Analysis Into System Desing Processes. PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, 1998.

Digital Library

[2]

C.Scheidler and et al. Time-triggered architecture(TTA). Advances in Information Technologies: The Business Challenge, 1997.

[3]

D.B.Stewart, R.A.Volpe, and P.K.Khosla. Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects. IEEE Transactions on Software Engineering, 23, 1997.

Digital Library

[4]

Dionisio de Niz and Raj Rajkumar. http://www.cs.cmu.edu/~rtml/timeweaverweb, April 2003.

[5]

G.A.Agha and W. Kim. Actors: Unifying Model for Parallel and Distributed Computing. Journal of Systems Architecture, 45:1263--1277, 1999.

Digital Library

[6]

H.Ossher and P.Tarr. Multi-Dimensional Separation of Concerns in Hyperspace. Technical Report RC21452, IBM T.J. Watson Research Center, April 1999.

[7]

J.Davis II, Mudit Goel, Chirstopher Hylands, Bart Kienhuis, Edward A. Lee, Jie Liu, Xiaojun Liu, Lukito Muliadi, Steve Neuendorffer, John Reekie, Neil Smyth, Jeff Tsay, and Yuhong Xiong. Overview of the Ptolemy Project. Technical Report M99/37, UC Berkeley, Dept EECS, 1999.

[8]

J.Krueger, S.Vestal, and B.Lewis. Fitting The Pieces Together: System/Software Analysis and Code Integration Using MetaH. In IEEE 17th Annual Digital Avionics Systems Conference, November 1998.

[9]

Mark H. Klein, Thomas Ralya, Bill Pollak, and Ray Obenza. A Practitioners' Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, 1993.

Digital Library

[10]

K.Lieberherr. Demeter and Aspect-Oriented Programming. In STJA'97 Conference, September 1997.

[11]

H. Kopetz and G. Gruensteidl. TTP - a protocol for fault-tolerant real-time systems. IEEE Computer, 24, 1994.

Digital Library

[12]

Edward A. Lee. What's Ahead for Embedded Software? Computer, 1, 2000.

Digital Library

[13]

Jun Li. Dependency Tracking in Real-Time Fault-Tolerant Systems. PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, 2000.

Digital Library

[14]

Brian Nielsen and Gul Agha. Towards reusable real-time objects. Annals of Software Engineering, 7:257--282, 1999.

Digital Library

[15]

Lui Sha, Ragunathan Rajkumar, and John Lehoczky. Mode Change Protocols for Priority-Driven Pre-emptive Scheduling. In The Real-Time Systems Symposium, 1989.

[16]

Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.

Digital Library

[17]

S.Wang and K.G.Shin. An Architecture for Embedded Software Integration Using Reusable Components. In International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, San Jose, CA, 2000.

Digital Library

[18]

Peri Tarr, Harold Ossher, William Harrison, and Jr. Stanley M. Sutton. N Degrees of Separation: Multi-Dimensional Separation of Concerns. In International Conference on Software Engineering, pages 107--119, 1999.

Digital Library

[19]

Steve Vestal. Mode Changes in a Real-Time Architecture Description Language. In International Workshop on Configurable Distributed Systems, March 1994.

Cited By

Bertazzi LGolden BWang X(2019)The Bin Packing Problem with Item Fragmentation:A worst-case analysisDiscrete Applied Mathematics10.1016/j.dam.2018.08.023261(63-77)Online publication date: May-2019
https://doi.org/10.1016/j.dam.2018.08.023
Lin SLiu YHsiung PSun JDong J(2012)Automatic generation of provably correct embedded systemsProceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering10.1007/978-3-642-34281-3_17(214-229)Online publication date: 12-Nov-2012
https://dl.acm.org/doi/10.1007/978-3-642-34281-3_17
Lin CLu CLin SChen YHsiung P(2011)VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software DevelopmentJournal of Computer Science and Technology10.1007/s11390-011-1146-326:3(448-462)Online publication date: 12-May-2011
https://doi.org/10.1007/s11390-011-1146-3
Show More Cited By

Index Terms

Time weaver: a software-through-models framework for embedded real-time systems
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

Time weaver: a software-through-models framework for embedded real-time systems
Special Issue: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool support for embedded systems (San Diego, CA).

Embedded real-time systems are deployed in a wide range of application domains including transportation systems, automated manufacturing, process control, defense, aerospace, and telecommunications. These systems must satisfy not only logical functional ...
Dynamic software updates for real-time systems
HotSWUp '09: Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades

Seamlessly updating software in running systems has recently gained momentum. Dynamically updating the software of real-time embedded systems, however, still poses numerous challenges: such systems must meet hard deadlines, cope with limited resources, ...
Testing Environment for Real-Time Communications Intensive Systems
ICNS '10: Proceedings of the 2010 Sixth International Conference on Networking and Services

In the engineering world, more and more accent is put on the real-time embedded applications. They are used almost everywhere, in domains as: automotive, robotics, health, avionics, spacecraft, industrial control, etc.. Often, on the proper ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

LCTES '03: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems

June 2003

304 pages

ISBN:1581136471

DOI:10.1145/780732

General Chair:
Frank Mueller
North Carolina State University
,
Publications Chair:
Uli Kremer
Rutgers University

ACM SIGPLAN Notices Volume 38, Issue 7
Special Issue: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool support for embedded systems (San Diego, CA).
July 2003
293 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/780731
Issue’s Table of Contents

Copyright © 2003 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 June 2003

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

LCTES03

Sponsor:

LCTES03: ACM SIGPLAN Symposium on Languages, Compilers, and Tools for Embedded Systems

June 11 - 13, 2003

California, San Diego, USA

Acceptance Rates

LCTES '03 Paper Acceptance Rate 29 of 128 submissions, 23%;

Overall Acceptance Rate 116 of 438 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

63
Total Citations
View Citations
1,198
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bertazzi LGolden BWang X(2019)The Bin Packing Problem with Item Fragmentation:A worst-case analysisDiscrete Applied Mathematics10.1016/j.dam.2018.08.023261(63-77)Online publication date: May-2019
https://doi.org/10.1016/j.dam.2018.08.023
Lin SLiu YHsiung PSun JDong J(2012)Automatic generation of provably correct embedded systemsProceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering10.1007/978-3-642-34281-3_17(214-229)Online publication date: 12-Nov-2012
https://dl.acm.org/doi/10.1007/978-3-642-34281-3_17
Lin CLu CLin SChen YHsiung P(2011)VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software DevelopmentJournal of Computer Science and Technology10.1007/s11390-011-1146-326:3(448-462)Online publication date: 12-May-2011
https://doi.org/10.1007/s11390-011-1146-3
Chang CLu CHsueh NChu WShih CYang CHsiung PKoong CShin SOssowski SSchumacher MPalakal MHung C(2010)SysML-based requirement modeling environment for multicore embedded systemProceedings of the 2010 ACM Symposium on Applied Computing10.1145/1774088.1774555(2224-2228)Online publication date: 22-Mar-2010
https://dl.acm.org/doi/10.1145/1774088.1774555
Lin CWolf MKoutsoukos XNeema SSztipanovits J(2010)System and software architectures of distributed smart camerasACM Transactions on Embedded Computing Systems10.1145/1721695.17217049:4(1-30)Online publication date: 6-Apr-2010
https://dl.acm.org/doi/10.1145/1721695.1721704
Tung HChang CLu CChu WYang H(2010)From Applications, to Models and to Embedded System CodeProceedings of the 2010 10th International Conference on Quality Software10.1109/QSIC.2010.31(488-494)Online publication date: 14-Jul-2010
https://dl.acm.org/doi/10.1109/QSIC.2010.31
Sangsoo Park Kang Geun Shin Shige Wang (2010)Integration of Collaborative Analyses for Development of Embedded Control SoftwareProceedings of the IEEE10.1109/JPROC.2009.203974198:4(546-561)Online publication date: Apr-2010
https://doi.org/10.1109/JPROC.2009.2039741
Hsiung PLin SLin C(2010)Real-Time Embedded Software Design for Mobile and Ubiquitous SystemsJournal of Signal Processing Systems10.1007/s11265-008-0268-559:1(13-32)Online publication date: 1-Apr-2010
https://dl.acm.org/doi/10.1007/s11265-008-0268-5
Reason JChen HJung CKim SChou PLee K(2009)A framework for managing the life-cycle of event-driven, embedded applicationsJournal of Embedded Computing10.5555/1551877.15518793:2(89-98)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.5555/1551877.1551879
Hsiung PLin SYean-Ru Chen Nien-Lin Hsueh Chih-Hung Chang Chih-Hsiong Shih Chorng-Shiuh Koong Chao-Sheng Lin Chun-Hsien Lu Sheng-Ya Tong Wan-Ting Su Chu W(2009)Model-driven development of multi-core embedded softwareProceedings of the 2009 ICSE Workshop on Multicore Software Engineering10.1109/IWMSE.2009.5071378(9-16)Online publication date: 18-May-2009
https://dl.acm.org/doi/10.1109/IWMSE.2009.5071378
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents