Abstract
This paper shows an approach for software synthesis in embedded hard real-time systems starting from Live Sequence Charts (LSC) scenarios as specification language. As the name suggests, LSCs specify liveness, that is, things that must happen. Therefore allowing the distinction between possible and necessary behavior as well as the specification of possible anti-scenarios. Embedded software has become much harder to design due to the diversity of requirements and high complexity. In such systems, correctness and timeliness verification is an issue to be concerned. The software synthesis method takes a specification (in this case composed by LSC scenarios) and automatically generates a program source code where: (i) functionalities and constraints are satisfied; and (ii) operational support for task’s execution is provided. This paper adopts a time Petri net (TPN) formalism for system modeling in order to find feasible pre-runtime schedules, and for synthesizing predictable and timely scheduled code. Embedded software synthesis has been receiving much attention. However, few works deal with software synthesis for hard real-time systems considering arbitrary precedence and exclusion relations.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ITU-T: Message Sequence Chart (MSC), Geneva (1996)
OMG: Unified Modeling Language (UML) documentation (2005), http://www.omg.org
Harel, D., Marelly, R.: Come, Lets Play: Scenario-Based Programming Using LSCs and Play-Engine (2003)
Cornero, M., Thoen, F., Goossens, G., Curatelli, F.: Software synthesis for real-time information processing systems. In: Code Generation for Embedded Processors, pp. 260–279 (1995)
Barreto, R., Tavares, E., Maciel, P., Neves, M., Oliveira Jr., M., Amorim, L., Bessa, A., Lima, R.: A time petri net-based approach for software synthesis considering dispatcher overheads. IEEE Computer Society Press, Rio de Janeiro (2005)
Xu, J., Parnas, D.: Scheduling processes with release times, deadlines, precedence, and exclusion relations. IEEE Trans. Soft. Engineering 16, 360–369 (1990)
Abdelzaher, T., Shin, K.: Combined task and message scheduling in distributed real-time systems. IEEE Trans. Parallel Distributed Systems 10, 1179–1191 (1999)
Altisen, K., Göbler, G., Pnueli, A., Sifakis, J., Tripakis, S., Yovine, S.: A framework for scheduler synthesis. In: IEEE Real-Time System Symposium, pp. 154–163 (1999)
Sgroi, M., Lavagno, L., Watanabe, Y., Sangiovanni-Vincentelli, A.: Synthesis of embedded software using free-choice petri nets. In: DAC 1999 (1999)
Hsiung, P.A.: Formal synthesis and code generation of embedded real-time software. In: CODES (2001)
Weber, M., Kindler, E.: The petri net markup language. In: Petri net Technology Communication Systems. Advances in Petri Nets (2002)
Merlin, P., Faber, D.J.: Recoverability of communication protocols. IEEE Trans. Comm. 24, 1036–1043 (1976)
Mok, A.K.: Fundamental Design Problems of Distributed Systems for the Hard-Real-Time Environment. PhD Thesis, MIT (1983)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Amorim, L. et al. (2005). A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. In: Yang, L.T., Zhou, X., Zhao, W., Wu, Z., Zhu, Y., Lin, M. (eds) Embedded Software and Systems. ICESS 2005. Lecture Notes in Computer Science, vol 3820. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11599555_8
Download citation
DOI: https://doi.org/10.1007/11599555_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30881-2
Online ISBN: 978-3-540-32297-9
eBook Packages: Computer ScienceComputer Science (R0)