For the most recent entries see the Petri Nets Newsletter.

A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.

Amorim, Leonardo; Barreto, Raimundo; Maciel, Paulo; Tavares, Eduardo; Oliveira, Meuse; Bessa, Arthur; Lima, Ricardo

In: Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin (Eds.): Lecture Notes in Computer Science, 3820: Embedded Software and Systems: Second International Conference, ICESS 2005, Xi?an, China, December 16-18, 2005., pages 50-62. Springer-Verlag, November 2005. URL:,.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography