Medications at what cost?

Timed Automata (TA), first introduced by Alur and Dill [1], is now a standard modeling formalism for describing the behaviour of real-time systems. Several mature automated model checking tools exist (e.g. Kronos, Uppaal) and have been applied to the quantitative analysis of numerous industrial case-studies. Priced Timed Automata (PricedTA) [2] extend timed automata with further […]

Continue reading

Using Constraint Solvers for Model Composition

As modern systems become more complex, design approaches model different aspects of a system separately to gain a better understanding of individual component structure and behaviour. It is widely recognised that modelling the complete behaviour of a component is difficult, and instead we model several possible scenarios of execution separately. Scenarios give a partial behaviour […]

Continue reading