Abstract
In a distributed embedded system, it is often necessary to share variables among its computing nodes to allow the distribution of control algorithms. It is therefore necessary to include a component in each node that provides the service of variable sharing. For that type of component, this paper discusses how to create a Colored Petri Nets (CPN) model that formally expresses the following elements in a clearly separated structure: (1) assumptions about the behavior of the environment of the component, (2) real-time requirements for the component, and (3) a possible solution in terms of an algorithm for the component. The CPN model can be used to validate the environment assumptions and the requirements. The validation is performed by execution of the model during which traces of events and states are automatically generated and evaluated against the requirements.
Chapter PDF
Similar content being viewed by others
Keywords
- Variable Copy
- Communication Component
- Substitution Transition
- Environment Assumption
- Linear Hybrid Automaton
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
CPN Tools. http://daimi.au.dk/CPNTools.
L. A. Cortés, P. Eles, and Z. Peng. Verification of Embedded Systems Using a Petri Net Based Representation. In ISSS 2000.
J. M. Fernandes, J. B. Jørgensen, and S. Tjell. Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. In APSEC 2007.
C. A. Gunter, E. L. Gunter, M. Jackson, and P. Zave. A Reference Model for Requirements and Specifications. IEEE Software, 17(3), 2000.
I. J. Hayes, M.A. Jackson, and C.B. Jones. Determining the Specification of a Control System from that of its Environment. In FME 2003.
M. Jackson. Problem Frames — Analyzing and Structuring Software Development Problems. Addison-Wesley, 2001.
K. Jensen, L. M. Kristensen, and L. Wells. Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. STTT, 9(3-4), 2007.
B. Kleinjohann, J. Tacken, and C. Tahedl. Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets. In CHDL 1997.
S. Raman and S. McCanne. A Model, Analysis, and Protocol Framework for Soft State-Based Communication. In SIGCOMM 1999.
S. Tjell. Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. In SIES 2007.
S. Tjell. Model-Based Analysis of a Windmill Communication System. In DIPES 2006.
C. Zhou, C. A. R. Hoare, and A. P. Ravn. A Calculus of Durations. Inf. Process. Lett., 40(5), 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this paper
Cite this paper
Tjell, S., Fernandes, J.M. (2008). Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. In: Kleinjohann, B., Wolf, W., Kleinjohann, L. (eds) Distributed Embedded Systems: Design, Middleware and Resources. DIPES 2008. IFIP – The International Federation for Information Processing, vol 271. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-09661-2_8
Download citation
DOI: https://doi.org/10.1007/978-0-387-09661-2_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-09660-5
Online ISBN: 978-0-387-09661-2
eBook Packages: Computer ScienceComputer Science (R0)