Discrete Geometry Applied in Hard Real-Time Systems Validation

  • Gaëlle Largeteau
  • Dominique Geniet
  • Éric Andrès
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3429)


Off-line validation of hard real-time systems usually stands on state based models. Such approaches always deal with both space and time combinatorial explosions. This paper proposes a discrete geometrical approach to model applications and to compute operational feasability from topological properties. Thanks to this model, we can decide the feasability of real-time synchronous systems composed of periodic tasks, sharing resources, running on multiprocessor architectures. This method avoids state enumeration and therefore limits both space and time explosion: computing an automaton model takes at least 2 hours for a real application instead of at most 1 second using discrete geometry.


Real-time operational validation multiprocessors resource sharing geometrical modeling 


  1. [ALU94]
    Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  2. [And03]
    Andres, E.: Discrete linear objects in dimension n: the standard model. Graphical Models 65(1-3), 92–111 (2003)zbMATHCrossRefGoogle Scholar
  3. [But97]
    Buttazzo, G.: Hard real-time computing systems: Predictable scheduling algorithms and applications. Kluwer Academic Publishers, Dordrecht (1997)zbMATHGoogle Scholar
  4. [CHO96]
    Choquet-geniet, A., Geniet, D., Cottet, F.: Exhaustive computation of scheduled task execution sequences of real-time application. In: Proc FTRTFT 1996 (1996)Google Scholar
  5. [LL73]
    Liu et, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in real-time environnement. Journal of the ACM 20, 46–61 (1973)CrossRefGoogle Scholar
  6. [LG02]
    Largeteau, G., Geniet, D.: Term Validation of Distributed Hard Real-time Applications. Conference on Implementation and Application of Automata (2002)Google Scholar
  7. [Mok83]
    Mok, A.K.: Fundamental design problems for the hard real-time environments. Ph.D. MIT (1983)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Gaëlle Largeteau
    • 1
  • Dominique Geniet
    • 1
  • Éric Andrès
    • 2
  1. 1.LISIUniversité de Poitiers & ENSMAFuturoscope ChasseneuilFrance
  2. 2.IRCOM-SIC, SP2MIFuturoscopeFrance

Personalised recommendations