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

Experiences Gained From Modeling and Solving Large Mapping Problems During System Design

Hilbrich, Robert and Behrisch, Michael (2017) Experiences Gained From Modeling and Solving Large Mapping Problems During System Design. In: 11th Annual IEEE Systems Conference, pp. 620-627. IEEE Systems Conference 2017, 24.-27. Apr. 2017, Montreal, Quebec, Kanada. ISBN 978-1-5090-4622-5

[img] PDF
908kB

Abstract

The rising complexity of embedded control systems and their increasing application to automate safety-critical or mission-critical tasks present a challenge for established development methodologies and tools. Are they able to handle the growing system complexity without compromising either system efficiency or its correctness? This challenge is addressed by the “correctness by construction” engineering principle. It aims to formalize error-prone and cumbersome engineering tasks to ensure correctness as well as efficiency despite high levels of complexity. A major obstacle in applying this principle in practice lies in the necessary formalization of “constructive tasks” for which human engineers with creative minds are still predominantly responsible. The authors applied this principle to “mapping problems”, which occur during the design of several real-world embedded control systems. The tool suite ASSIST was developed to automate the “mapping process” and demonstrate the feasibility of this approach. It takes textual specifications of a mapping problem and its constraints as input from the systems engineer and uses Constraint Programming to synthesize valid and optimized solutions. In this contribution, the experiences gained from modeling and solving large-scale mapping problems as part of the design of embedded control systems are described in detail.

Item URL in elib:https://elib.dlr.de/111282/
Document Type:Conference or Workshop Item (Speech)
Title:Experiences Gained From Modeling and Solving Large Mapping Problems During System Design
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Hilbrich, RobertRobert.Hilbrich (at) dlr.dehttps://orcid.org/0000-0003-3793-3982
Behrisch, MichaelMichael.Behrisch (at) dlr.dehttps://orcid.org/0000-0002-0032-7930
Date:24 February 2017
Journal or Publication Title:11th Annual IEEE Systems Conference
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Page Range:pp. 620-627
ISBN:978-1-5090-4622-5
Status:Published
Keywords:Platzierung, Mapping, Verteilung, Deployment, Systems Engineering, Architektur, Constraint Programming
Event Title:IEEE Systems Conference 2017
Event Location:Montreal, Quebec, Kanada
Event Type:international Conference
Event Dates:24.-27. Apr. 2017
Organizer:IEEE
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 - I.MoVe (old)
Location: Berlin-Adlershof
Institutes and Institutions:Institute of Transportation Systems > Verkehrssimulation und -prognose
Deposited By: Hilbrich, Dr. Robert
Deposited On:08 Mar 2017 09:01
Last Modified:31 Jul 2019 20:08

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.