Abstract

The design of safety critical systems calls for advanced software engineering models, methods and tools in order to guarantee safety requirements that can put human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of [...]

Abstract

The productivity and scalability of verifying pipelined circuits can be increased by exploiting the structural and behavioural characteristics that distinguish pipelines from other circuits. This paper presents a formal model of pipelines that augments a state machine with information [...]

Abstract

A joint project of the Austrian company Frequentis1 and the Technical University Graz demonstrates the applicability of executable formal models2. The formal method VDM++ has been applied to specify a safety critical voice communication system (VCS) for air-traffic control. Besides [...]

Abstract

This paper illustrates two different approaches for the application of Formal Methods (FM): integrated-parallel and after-the-fact. In the first approach FMs have been applied integrated and in parallel with structured methods starting from the design phase. In the second approach [...]

Abstract

Open Distributed Processing (ODP) is a framework for specifying open distributed systems, under development by the International Standards Organisation (ISO). It is based on the general idea of viewpoints - i.e. partial specifications of an overall system, from different perspectives [...]

Abstract

The design of large-scale complex systems requires their analysis from multiple perspectives, often through the use of requirements models. Diversely located experts with different backgrounds (e.g., safety, security, performance) create such models using different requirements modeling [...]

Abstract

International audience; The Internet of Things (IoT) consists in connecting every aspect of daily and professional life to a common infrastructure, in order to improve considerably the efficiency of otherwise unthinking objects. The huge scale on which they operate, as well as the [...]