From Semiformal Requirements To Formal Specification

Spichkova, M 2010, From Semiformal Requirements To Formal Specification, TU München, Munich, Germany

Document type: Commissioned Reports
Collection: Commissioned Reports

Title of report From Semiformal Requirements To Formal Specification
Author(s) Spichkova, M
Year of publication 2010
Publisher TU München
Place of publication Munich, Germany
Subjects Software Engineering
Abstract/Summary This paper presents an approach for translating semiformal specification in formal ones. For a semiformal representation two approaches were taken: an approach from A. Fleischmann and a message sequence charts representation. A semiformal specification represented by one of these approaches can be translated to a formal specification in Focus, a a framework for formal specifications and development of interactive systems. This approach was applied on the case study during the project DENTUM between Denso Deutschland GmbH and the chair for Software & Systems Engineering at Technische Universität München. The goal of this project was to define a methodology for the model-based development of automotive systems. This methodology was evaluated by developing an Adaptive Cruise Control system with Pre-Crash Safety functionality.
Commissioning body TU München
Version Filter Type
Access Statistics: 28 Abstract Views  -  Detailed Statistics
Created: Thu, 06 Dec 2018, 10:39:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us