Abstract
Embedded safety-critical systems must not only be functionally correct but must also provide timely service. It is thus important to have rigorous analysis techniques for determining timing properties of such systems. We consider a layered design process, where timing analysis applies when the system is integrated on a target platform. More precisely, we focus on contract-based design, and ask whether a set of real-time components continues to comply to a given system specification when it is integrated on a common hardware.
We present an approach for compositional timing analysis, and define conditions under which the system integration will preserve all the timing properties given by the system specification. Therefore, engineers can negotiate specifications of the individual components a priori, knowing that no integration issues will occur due to shared resource usage. The approach exploits ω-languages, which enables analysis techniques based on model-checking. Such an analysis is shown by a case study.
This work was partly supported by the Federal Ministry for Education and Research (BMBF) under support code 01IS11035M, Automotive, Railway and Avionics Multicore Systems (ARAMiS), and by the German Research Council (DFG) as part of the Transregional Collaborative Research Center Automatic Verification and Analysis of Complex Systems (SFB/TR 14 AVACS).
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.
Similar content being viewed by others
References
Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: Proc. Software Engineering and Formal Methods, SEFM (2006)
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K.: Contracts for Systems Design (2013), INRIA Research Report No. 8147 (November 2012)
Bhaduri, P., Stierand, I.: A Proposal for Real-Time Interfaces in SPEEDS. In: Proc. Design, Automation Test in Europe, DATE (2010)
Easwaran, A., Anand, M., Lee, I.: Compositional Analysis Framework using EDP Resource Models. In: Proc. Real-Time Systems Symposium, RTSS 2007 (2007)
Guan, N., Ekberg, P., Stigge, M., Yi, W.: Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. In: Proc. Real-Time Systems Symposium, RTSS (2011)
Henzinger, T., Matic, S.: An Interface Algebra for Real-Time Components. In: Proc. of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 253–266 (2006)
Perathoner, S., Lampka, K., Thiele, L.: Composing Heterogeneous Components for System-wide Performance Analysis. In: Design, Automation Test in Europe Conference Exhibition, DATE (2011)
Richter, K.: Compositional Scheduling Analysis Using Standard Event Models. Ph.D. thesis, TU Braunschweig, Germany (2005)
Shin, I., Lee, I.: Periodic Resource Model for Compositional Real-Time Guarantees. In: Proc. International Real-Time Systems Symposium (RTSS), pp. 2–13 (2003)
Stierand, I., Reinkemeier, P., Gezgin, T., Bhaduri, P.: Real-Time Scheduling Interfaces and Contracts for the Design of Distributed Embedded Systems. In: Proc. Symposium on Industrial Embedded Systems, SIES (2013)
Thiele, L., Wandeler, E., Stoimenov, N.: Real-Time Interfaces for Composing Real-Time Systems. In: Proc. International Conference on Embedded Software (EMSOFT), pp. 34–43 (2006)
Wandeler, E., Thiele, L.: Interface-Based Design of Real-Time Systems with Hierarchical Scheduling. In: Proc. Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 243–252 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Stierand, I., Reinkemeier, P., Bhaduri, P. (2014). Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction. In: Legay, A., Bozga, M. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2014. Lecture Notes in Computer Science, vol 8711. Springer, Cham. https://doi.org/10.1007/978-3-319-10512-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-10512-3_15
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10511-6
Online ISBN: 978-3-319-10512-3
eBook Packages: Computer ScienceComputer Science (R0)