Benutzer: Gast  Login
Autor(en):
Jakob Mund, Iman Badr, Safa Bougouffa, Birgit Vogel-Heuser 
Titel:
Towards Continuous Integration in Model-Based Engineering of Automated Production Systems 
Abstract:
Continuous integration (CI) is widely used in software engineering. The observed benefits include reduced efforts for system integration, which is particularly appealing for engineering automated production systems (aPS) due to the different disciplines involved. Yet, while many individual quality assurance means for aPS have been proposed, their adequacy for and systematic use in CI remains unclear. In this article, we provide two key contributions: First, we propose a quality model for model-b...    »
 
Stichworte:
systems engineering; automated production systems; model-checking; formal verification; continuous integration 
Jahr:
2017 
Sprache:
en