Advertisement

Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)

  • Fotios Gioulekas
  • Peter Poplavko
  • Rany Kahil
  • Panagiotis KatsarosEmail author
  • Marius Bozga
  • Saddek Bensalem
  • Pedro Palomo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10469)

Abstract

Languages for embedded systems ensure predictable timing behavior by specifying constraints based on either data streaming or reactive control models of computation. Moreover, various toolsets facilitate the incremental integration of application functionalities and the system design by evolutionary refinement and model-based code generation. Modern embedded systems involve various sources of interference in shared resources (e.g. multicores) and advanced real-time constraints, such as mixed-criticality levels. A sufficiently expressive modeling approach for complex dependency patterns between real-time tasks is needed along with a formal analysis of models for runtime resource managers with timing constraints. Our approach utilizes a model of computation, called Fixed-Priority Process Networks, which ensures functional determinism by unifying streaming and reactive control within a timed automata framework. The tool flow extends the open source TASTE tool-suite with model transformations to the BIP language and code generation tools. We outline the use of our flow on the design of a spacecraft on-board application running on a quad-core LEON4FT processor.

Keywords

Model-based design Embedded systems Model of computation Code generation Multicores 

References

  1. 1.
    Radojevic, I., Salcic, Z.: Models of computation and languages. In: Radojevic, I., Salcic, Z. (eds.) Embedded Systems Design Based on Formal Models of Computation, pp. 7–41. Springer, Dordrecht (2011). doi: 10.1007/978-94-007-1594-3_2CrossRefzbMATHGoogle Scholar
  2. 2.
    Fersman, E., Krcal, P., Pettersson, P., Yi, W.: Task automata: schedulability, decidability and undecidability. Inf. Comput. 205(8), 1149–1172 (2007). ElsevierMathSciNetCrossRefGoogle Scholar
  3. 3.
    Poplavko, P., Socci, D., Bourgos, P., Bensalem, S., Bozga, M.: Models for deterministic execution of real-time multiprocessor applications. In: Design, Automation and Test in Europe Conference and Exhibition, DATE 2015, Grenoble, France, pp. 1665–1670 (2015)Google Scholar
  4. 4.
    Hugues, J., Zalila, B., Pautet, L., Kordon, F.: From the prototype to the final embedded system using the ocarina AADL tool suite. ACM Trans. Embed. Comput. Syst. 7(4), 42:1–42:25 (2008)Google Scholar
  5. 5.
    Perrotin, M., Conquet, E., Delange, J., Schiele, A., Tsiodras, T.: TASTE: a real-time software engineering tool-chain overview, status, and future. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 26–37. Springer, Heidelberg (2011). doi: 10.1007/978-3-642-25264-8_4CrossRefGoogle Scholar
  6. 6.
    Poplavko, P., Kahil, R., Socci, D., Bensalem, S., Bozga, M.: Mixed-critical systems design with coarse-grained multi-core interference. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 605–621. Springer, Cham (2016). doi: 10.1007/978-3-319-47166-2_42CrossRefGoogle Scholar
  7. 7.
    GR-CPCI-LEON4-N2X: Quad-Core LEON4 Next Generation Microprocessor Evaluation Board. http://www.gaisler.com/index.php/products/boards/gr-cpci-leon4-n2x

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Fotios Gioulekas
    • 1
    • 5
  • Peter Poplavko
    • 2
  • Rany Kahil
    • 2
  • Panagiotis Katsaros
    • 1
    • 4
    Email author
  • Marius Bozga
    • 2
  • Saddek Bensalem
    • 2
  • Pedro Palomo
    • 3
  1. 1.Information Technology InstituteCERTHThessalonikiGreece
  2. 2.Universite Joseph Fourier - VerimagGrenobleFrance
  3. 3.Deimos-Space S.L.UMadridSpain
  4. 4.Aristotle University of ThessalonikiThessalonikiGreece
  5. 5.University General Hospital of LarissaLarissaGreece

Personalised recommendations