Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables

  • Simon Tjell
  • João M. Fernandes
Part of the IFIP – The International Federation for Information Processing book series (IFIPAICT, volume 271)


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.


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.


  1. 1.
    CPN Tools. Scholar
  2. 2.
    L. A. Cortés, P. Eles, and Z. Peng. Verification of Embedded Systems Using a Petri Net Based Representation. In ISSS 2000.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    C. A. Gunter, E. L. Gunter, M. Jackson, and P. Zave. A Reference Model for Requirements and Specifications. IEEE Software, 17(3), 2000.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    M. Jackson. Problem Frames — Analyzing and Structuring Software Development Problems. Addison-Wesley, 2001.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    B. Kleinjohann, J. Tacken, and C. Tahedl. Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets. In CHDL 1997.Google Scholar
  9. 9.
    S. Raman and S. McCanne. A Model, Analysis, and Protocol Framework for Soft State-Based Communication. In SIGCOMM 1999.Google Scholar
  10. 10.
    S. Tjell. Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. In SIES 2007.Google Scholar
  11. 11.
    S. Tjell. Model-Based Analysis of a Windmill Communication System. In DIPES 2006.Google Scholar
  12. 12.
    C. Zhou, C. A. R. Hoare, and A. P. Ravn. A Calculus of Durations. Inf. Process. Lett., 40(5), 1991.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

  • Simon Tjell
    • 1
  • João M. Fernandes
    • 2
  1. 1.Department of Computer ScienceUniversity of AarhusDenmark
  2. 2.Departamento de InformáticaUniversidade do MinhoPortugal

Personalised recommendations