Advertisement

Abstract

Many embedded systems must satisfy timing requirements, which describe how these systems should behave with respect to timing. Such requirements must be dealt with throughout the system development process: from their initial specification, expressed at an abstract level, through the increasingly concrete layers, to the final implementation level. There is a growing awareness that this process needs support from languages, tools, and methodologies.

References

  1. 1.
    Birken, K.: Abstract Execution for Event-Driven Systems – An Application from Automotive/Infotainment Development. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 173–186. Springer, Heidelberg (2012)Google Scholar
  2. 2.
    Ge, N., Pantel, M., Crégut, X.: Formal Specification and Verification of Task Time Constraints for Real-Time Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 143–157. Springer, Heidelberg (2012)Google Scholar
  3. 3.
    Johansson, R., Frey, P., Jonsson, J., Nordlander, J., Pathan, R.M., Feiertag, N., Schlager, M., Espinoza, H., Richter, K., Kuntz, S., Lönn, H., Kolagari, R.T., Blom, H.: TADL: Timing augmented description language, version 2. Technical report (October 2009)Google Scholar
  4. 4.
    Kirner, R.: The WCET Analysis Tool CalcWcet167. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 158–172. Springer, Heidelberg (2012)Google Scholar
  5. 5.
    Lisper, B., Nordlander, J.: A Simple and Flexible Timing Constraint Logic. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 80–95. Springer, Heidelberg (2012)Google Scholar
  6. 6.
    Ouranos, I., Ogata, K., Stefaneas, P.: Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 126–142. Springer, Heidelberg (2012)Google Scholar
  7. 7.
    Peraldi-Frati, M.-A., Goknil, A., Adedjouma, M., Gueguen, P.-Y.: Modeling a BSG-E Automotive System with the Timing Augmented Description Language. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 111–125. Springer, Heidelberg (2012)Google Scholar
  8. 8.
    Quinton, S., Ernst, R.: Generalized Weakly-Hard Constraints. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 96–100. Springer, Heidelberg (2012)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Björn Lisper
    • 1
  • Johan Nordlander
    • 2
  • Sophie Quinton
    • 3
  1. 1.School of Innovation, Design, and EngineeringMälardalen UniversityVästeråsSweden
  2. 2.Department of Computer Science, Electrical and Space EngineeringLuleå University of TechnologyLuleåSweden
  3. 3.Institute of Computer Network and EngineeringTU BraunschweigGermany

Personalised recommendations