elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements

Ellen, Christian and Sieverding, Sven and Hungar, Hardi (2014) Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. In: 19th International Conference on Formal Methods for Industrial Critical Systems (8718), pp. 155-169. Springer International Publishing. Formal Methods for Industrial Critical Systems, 11.-12. Sep. 2014, Florence, Italy. DOI: 10.1007/978-3-319-10702-8 ISBN 978-3-319-10701-1 ISSN 0302-9743

[img] PDF - Registered users only
366kB

Official URL: http://link.springer.com/chapter/10.1007/978-3-319-10702-8_11

Abstract

The formal specification of functional requirements can often lead to inconsistency as well as unintended specification, especially in the early stages within the development process. In this paper, we present a formal model checking approach which tackles both of these problems and is also applicable during the requirements elicitation phase, in which no component model is available. The presented notion of consistency ensures the existence of at least one possible run of the system, which satisfies all requirements. To avoid trivial execution traces, the "intended" functional behavior of the requirements is triggered. The analysis is performed using model checking. More specifically, to reduce the overall analysis effort, we apply a bounded model checking scheme. If the set of requirements is inconsistent the method also identifies a maximal sub-set of consistent requirements. Alternatively, a minimal inconsistent sub-set can be computed. The approach is demonstrated on a railway crossing example using the BTC Embedded Specifier and the iSAT model checker.

Item URL in elib:https://elib.dlr.de/94621/
Document Type:Conference or Workshop Item (Speech)
Title:Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Ellen, ChristianOFFISUNSPECIFIED
Sieverding, SvenOFFISUNSPECIFIED
Hungar, HardiDLRUNSPECIFIED
Date:2014
Journal or Publication Title:19th International Conference on Formal Methods for Industrial Critical Systems
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
DOI :10.1007/978-3-319-10702-8
Page Range:pp. 155-169
Editors:
EditorsEmail
Lang, FrédéricUNSPECIFIED
Flammini, FrancescoUNSPECIFIED
Publisher:Springer International Publishing
Series Name:Lecture Notes in Computer Science
ISSN:0302-9743
ISBN:978-3-319-10701-1
Status:Published
Keywords:Formal Methods, Contract-based Design, Verification, Consistency Analysis, Requirements Engineering
Event Title:Formal Methods for Industrial Critical Systems
Event Location:Florence, Italy
Event Type:international Conference
Event Dates:11.-12. Sep. 2014
Organizer:European Research Consortium for Informatics and Mathematics
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Traffic Management (old)
DLR - Research area:Transport
DLR - Program:V VM - Verkehrsmanagement
DLR - Research theme (Project):V - Next Generation Railway System II (old)
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems
Deposited By: Hungar, PD Dr. Hardi
Deposited On:19 Jan 2015 09:32
Last Modified:19 Jan 2015 09:32

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.