Sökning: onr:"swepub:oai:DiVA.org:mdh-32866" >
Integrating Pattern...
Integrating Pattern-based Formal Requirements Specification in an Industrial Tool-chain
-
- Filipovikj, Predrag (författare)
- Mälardalens högskola,Inbyggda system
-
- Jagerfield, Trevor (författare)
- Mälardalens högskola
-
- Nyberg, Mattias (författare)
- Scania, Södertälje, Sweden
-
visa fler...
-
- Rodriguez-Navas, Guillermo (författare)
- Mälardalens högskola,Inbyggda system
-
- Seceleanu, Cristina (författare)
- Mälardalens högskola,Inbyggda system
-
visa färre...
-
(creator_code:org_t)
- 2016
- 2016
- Engelska.
-
Ingår i: PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC), VOL 2<em></em>. - 9781467388450 ; , s. 167-173
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The lack of formal system specifications is a major obstacle to the widespread adoption of formal verification techniques in industrial settings. Specification patterns represent a promising approach that can fill this gap by enabling non-expert practitioners to write formal specifications based on reusing solutions to commonly occurring problems. Despite the fact that the specification patterns have been proven suitable for specification of industrial systems, there is no engineer-friendly tool support adequate for industrial adoption. In this paper, we present a tool called SESAMM Specifier in which we integrate a subset of the specification patterns for formal requirements specification, called SPS, into an existing industrial tool-chain. The tool provides the necessary means for the formal specification of system requirements and the later validation of the formally expressed behavior.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas