A "dual language" component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Tempo
β¦ LIBER β¦
Constraint graph-based approach for the analysis and the control of time critical systems
β Scribed by Patrice Bonhomme
- Publisher
- Springer
- Year
- 2011
- Tongue
- English
- Weight
- 367 KB
- Volume
- 57
- Category
- Article
- ISSN
- 0268-3768
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
A Dual Language Approach Extension to UM
β
Luigi Lavazza; Sandro Morasca; Angelo Morzenti
π
Article
π
2003
π
Elsevier Science
π
English
β 201 KB
A graph-based analysis of the cyclic sch
β
Alix MunierΒ Kordon
π
Article
π
2010
π
Springer US
π
English
β 613 KB
Analysis and Control of Linear Systems |
β
de Larminat, Philippe
π
Article
π
2007
π
ISTE
β 637 KB
Model-based control strategies for syste
β
ElΕΌbieta JarzΔbowska
π
Article
π
2006
π
Elsevier Science
π
English
β 364 KB
Specification and analysis of timing req
β
Ho Kyoung Lee; Woo Jin Lee; Heung Seok Chae; Yong Rae Kwon
π
Article
π
2007
π
Springer US
π
English
β 944 KB
Graph model-based approach to the repres
β
J. Sztipanovits; G. Karsai; C. Biegl
π
Article
π
1988
π
John Wiley and Sons
π
English
β 636 KB
In a large class of intelligent machines, one of the tasks of the knowledge-based system components is to corlfigure real-time signal processing systems. These systems implement low-level sensory or control algorithms according to the model of the system to be observed or controlled. If a change in