Abstract
Systems of embedded systems (SoES) have been receiving a great amount of attention because of their capabilities of combining individual embedded systems to accomplish broad and common objectives. High confidence is critical for SoES since they are widely used in the fields in which the consequences of systems failure are very serious. Although many approaches have been proposed to construct high-confidence embedded systems, most of them are proposed for the development of monolithic embedded systems. Building high-confidence SoES is still a great challenge. Further efforts on studying novel technologies for the development of SoES are needed. In this paper, we present a computational model which serves as a basis to construct prototype of SoES.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Maier, M.W.: Architecting Principles for Systems-of-Systems. Technical Report, http://www.infoed.com/Open/PAPERS/systems.htm
Wing, J.: Scenario Graph Generation and MDP-Based Analysis. In: Presentation at ARO Kickoff Meeting. University of Pennsylvania, Philadelphia, PA, May 24 - 25 (2001)
Garlan, D.: Model Checking Publish-Subscribe Software Architectures. In: Presentation at ARO Kickoff Meeting. University of Pennsylvania, Philadelphia, PA, May 24 - 25 (2001)
Clark, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specification, http://citeseer.nj.nec.com/clarke93verification.html
Dwyer, M., Hatcliff, J., Avrunin, G.: Software Model Checking for Embedded Systems, www.cis.ksu.edu/~dwyer/projects/HCES-May-01-1.ppt
Bjorner, N.S., Manna, Z., Sipma, H.B.: Deductive Verification of Real-time Systems Using SteP. Technical Report STAN-CS-TR-98-1616. Computer Science Department, Stanford University (1998)
Hong, H.S., Lee, I., Sokolsky, O., Cha, S.D.: Automatic Test Generation from Statecharts Using Model Checking. In: Proceedings International Workshop on Formal Approaches to Testing of Software (August 2001)
Clarke, D., Lee, I.: Automatic Test Generation for the Analysis of a Real-Time System: Case Study. In: Proceedings of 3rd IEEE Real-Time Technology and Applications Symposium (RTAS 1997) (June 1997)
Lee, I., Kannan, S., Kim, M., Sokolsky, O., Viswanathan, M.: Runtime Assurance Based On Formal Specifications. In: Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, June 28-July1 (1999)
Wang, S., Shin, K.G.: An Architecture for Embedded Software Integration Using Reusable Components. In: Proceedings of International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, San Jose, CA (2000)
Broy, M.: Specification and Modeling: An Academic Perspective. In: Proceedings of the 23rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, May 12- 19 (2001)
Luqi, Berzins, V., Yeh, R.: A Prototyping Language for Real-time Software. IEEE Transactions on Software Engineering 14, 1409–1422 (1988)
Saridakis, T.: Robust Development of Dependable Software Systems. Technical Report. Institut National De Recherche en Informatique et en Automatique, INRIA (1999)
Malek, M.: Dependability Concepts, Measures and Models. Technical Report, http://www.informatik.hu-berlin.de/rok/zs/zs2_1-4.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Luqi, Qiao, Y., Zhang, L. (2004). A Computational Model for Complex Systems of Embedded Systems. In: Wirsing, M., Knapp, A., Balsamo, S. (eds) Radical Innovations of Software and Systems Engineering in the Future. RISSEF 2002. Lecture Notes in Computer Science, vol 2941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24626-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-24626-8_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21179-2
Online ISBN: 978-3-540-24626-8
eBook Packages: Springer Book Archive