Authors:
Jacques Verriet
1
;
Lennart Buit
1
;
Richard Doornbos
1
;
Bas Huijbrechts
1
;
Kristina Ševo
2
;
Jack Sleuters
1
and
Mark Verberkt
2
Affiliations:
1
ESI (TNO), Eindhoven and Netherlands
;
2
Signify, Eindhoven and Netherlands
Keyword(s):
Domain-specific Languages, Model Transformations, Virtual Prototyping, System Validation, Simulation, Model Checking, Distributed Control Systems, IoT Systems, Lighting Systems.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Domain-Specific Modeling and Domain-Specific Languages
;
Languages, Tools and Architectures
;
Methodologies, Processes and Platforms
;
Model Execution and Simulation
;
Model Transformation
;
Model Transformations and Generative Approaches
;
Model-Driven Software Development
;
Models
;
Paradigm Trends
;
Software Engineering
Abstract:
IoT applications and other distributed control applications are characterized by the interaction of many hardware and software components. The inherent complexity of the distributed functionality introduces challenges on the detection and correction of issues related to functionality or performance, which are only possible to do after system prototypes or pilot installations have been built. Correcting these issues is typically very expensive, which could have been avoided by earlier detection. This paper makes four main contributions. (1) It presents a virtual prototyping approach to specify and analyze distributed control applications. The approach is based on a domain model, which can be configured for a specific application. It consists of eight domain-specific languages (DSLs), each describing one system aspect. (2) The DSLs provide each stakeholder in the application’s lifecycle a natural and comprehensible way to describe his/her concerns in an unambiguous manner. (3) The pape
r shows how the DSLs are used to automatically detect common configuration errors and erroneous behavior. (4) The virtual prototyping approach is demonstrated using a lighting domain case study, in which the control system of an office floor is specified and analyzed.
(More)