Economics at your fingertips  

The MODUS Approach to Formal Verification

Brewka Lukasz (), Soler José () and Berger Michael ()
Additional contact information
Berger Michael: DTU Fotonik, Denmark

Business Systems Research, 2014, vol. 5, issue 1, 21-33

Abstract: Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely in the process of providing competitive products Objectives: In relation to this, MODUS (Method and supporting toolset advancing embedded systems quality) project aims to provide small and medium-sized businesses ways to improve their position in the embedded market through a pragmatic and viable solution Methods/Approach: This paper will describe the MODUS project with focus on the technical methodologies that can assist formal verification and formal model checking. Results: Based on automated analysis of the characteristics of the system and by controlling the choice of the existing opensource model verification engines, model verification producing inputs to be fed into these engines. Conclusions: The MODUS approach is aligned with present market needs; the familiarity with tools, the ease of use and compatibility/interoperability remain among the most important criteria when selecting the development environment for a project

Keywords: software quality; formal verification; embedded systems; translation tool selection (search for similar items in EconPapers)
Date: 2014
References: View complete reference list from CitEc
Citations: Track citations by RSS feed

Downloads: (external link) (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link:

DOI: 10.2478/bsrj-2014-0002

Access Statistics for this article

Business Systems Research is currently edited by Mirjana Pejić Bach

More articles in Business Systems Research from Sciendo
Bibliographic data for series maintained by Peter Golla ().

Page updated 2021-05-07
Handle: RePEc:bit:bsrysr:v:5:y:2014:i:1:p:21-33