Tyck till om SwePub Sök
här!
Sökning: onr:"swepub:oai:research.chalmers.se:50973f49-bcb0-4c18-99e0-8bcc30e7a0b1" >
Formal Methods for ...
Formal Methods for the Inspection of Vehicle Configuration Rules
-
- Tidstam, Anna, 1983 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Malmqvist, Johan, 1964 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Voronov, Alexey, 1983 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Åkesson, Knut, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Fabian, Martin, 1960 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa färre...
-
(creator_code:org_t)
- 2014
- 2014
- Engelska.
- Relaterad länk:
-
https://research.cha...
Abstract
Ämnesord
Stäng
- Vehicle configuration is the activity to create a vehicle specification from a set of predefined components that can only be combined in certain ways. These certain ways are defined by logic expressions called vehicle configuration rules. The vehicle configuration rules can be visualized, and then manually inspected by a product developer. The inspection of vehicle configuration rules aims at preventing errors, and is used when collaborating on the development of new vehicle configurations. This paper proposes formal methods supporting the inspection of vehicle configuration rules, by addressing the 1) reformulation of vehicle configuration rules, 2) testing of feature variant combinations, and 3) counting of item quantities from an item set. The formal methods were tested on industrial vehicle configuration rules for computational performance. The results show that the time for execution is within seconds. The future work is to implement the formal methods with a demonstrator that could be tested by product developers.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Maskinteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Mechanical Engineering (hsv//eng)
Nyckelord
- formal methods
- vehicle configuration
- inspection
- configuration rules
- visualization.
Publikations- och innehållstyp
- art (ämneskategori)
- vet (ämneskategori)
Hitta via bibliotek
Till lärosätets databas