Abstract | ||
---|---|---|
This paper gives an impression of the language modest, a modelling and description language for stochastic and timed systems, and reports on applications of this language to a variety of industrial case studies. The language and its accompanying tool environment, motor, support the modular description and analysis of reactive systems while covering both functional and non-functional system aspects such as hard and soft real-time, and quality-of-service aspects. This unique expressiveness has been exploited in three recent industrial case studies of rather different nature, ranging from (i) schedule synthesis and evaluation for a lacquer production plant, to (ii) device detection in a plug-and-play infotainment protocol, and to (iii) dependability assessment of an emerging standard for future high-speed cross-European trains. |
Year | Venue | Keywords |
---|---|---|
2004 | ISoLA (Preliminary proceedings) | formal method |
Field | DocType | Citations |
Dependability,Software engineering,Computer science,Impression,Formal methods,Modular design,Train,Reactive system,Expressivity | Conference | 0 |
PageRank | References | Authors |
0.34 | 26 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Henrik C. Bohnenkamp | 1 | 0 | 0.34 |
Holger Hermanns | 2 | 3418 | 229.22 |
David N. Jansen | 3 | 309 | 24.09 |
Joost-Pieter Katoen | 4 | 4444 | 289.65 |
Yaroslav S. Usenko | 5 | 125 | 10.75 |