Sökning: WFRF:(Al Mamun Md Abdullah 1982) >
MDE-based Sensor Ma...
MDE-based Sensor Management and Verification for a Self-Driving Miniature Vehicle
-
- Al Mamun, Md Abdullah, 1982 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Berger, Christian, 1980 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),University of Gothenburg
-
- Hansson, Jörgen, 1970 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- ISBN 9781450326001
- 2013-10-27
- 2013
- Engelska.
-
Ingår i: 13th ACM Workshop on Domain-Specific Modeling, DSM 2013; Indianapolis, IN; United States. - New York, NY, USA : Association for Computing Machinery (ACM). - 9781450326001
- Relaterad länk:
-
https://gup.ub.gu.se... (primary) (free)
-
visa fler...
-
http://publications....
-
http://publications.... (primary) (free)
-
https://gup.ub.gu.se...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- Innovations for today’s vehicle functions are mainly driven by software. They realize comfort systems like automated parking but also safety systems where sensors are continuously monitoring the vehicle's surroundings to brake autonomously for avoiding collisions with cars, pedestrians, or bicyclists. In simulation environments, various traffic situations with alternative sensor setups are imitated before testing them on prototypical cars. In this paper, we are presenting an MDE approach for managing different sensor setups in a cyber-physical system development environment to leverage automated model verification, support system testing, and enable code generation. For example, the models are used as the single point of truth to configure and generate sensor setups for system validations in a 3D simulation environment. After their validation, a considered sensor configuration is transformed into a constraint-satisfaction model to be solved by the logical programming language Prolog. Based on this transformation, the conformance to the embedded system specification is formally verified and possible pin assignments, for how to connect the required sensors are calculated. The approach was validated during the development of a self- driving miniature vehicle using an STM32F4-based embedded system running the real-time operating system ChibiOS as the software/hardware interface to the sensors and actors.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Model-Driven Engineering (MDE)
- Sensor
- Simulation
- Formal Verification
- Prolog
- Cyber-Physical Systems
- Simulation
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas