Mitglied im:

Anmelden

News

22.04.2015
Mit großer Freude präsentiere ich Ihnen den Jahresbericht des...
16.07.2014
Promotionsvortrag von Dipl.-Wirt.-Inf. Björn Schindler am 21.07.2014 um 13:...
10.06.2014

Promotionsvortrag von M. Sc. Stefan Ruehl am 16.06.2014 um 10:00 Uhr

Tim Warnecke

A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification

Increasing complexity of today’s software systems is one of the major challenges software engineershave to face. This is aggravated by the fact that formerly isolated systems have to be interconnectedto more complex systems, called System-of-Systems (SoS). Those systems are in chargeto provide more functionality to the user than all of their independent sub-systems could do. Reducingthe complexity of such systems is one goal of the software engineering paradigm calledcomponent-based software engineering (CBSE). CBSE enables the developers to treat individualsub-systems as components which interact via interfaces with a simulated environment. Thusthose components can be developed and implemented independently from other components. Afterthe implementation a system integrator is able to interconnect the components to a SoS. Despitethis much-used approach it is possible to show that constraints, which are valid in an isolatedsub-system, are broken after this system is integrated into a SoS. To emphasize this issue wedeveloped a technique based on interconnected timed automata for modelling sub-systems andSystem-of-Systems in the model checking tool UPPAAL. The presented modelling technique allowsit to verify the correctness of single sub-systems as well as the resulting SoS. Additionally we developeda tool which abstracts the complicated timed automata to an easy to read componentbased language with the goal to help system integrators building and verifying complex SoS.

Journal

Engineering

Volume

7

Jahr

2015

Monat

Oktober

issn

1947-394X

isbn

1947-3931

Ort des Verlags

Delaware, USA

Herausgeber

Scientific Research Publishing Inc.

doi

http://dx.doi.org/10.4236/eng.2015.710056

Stichwörter

System-of-Systems, CBSE, Verification, Model Checking, UPPAAL

Datei

A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification

Bibtex file

Download this publication as bibtex file

Forschungsvideos

16.07.2013
Scribbler: From Coll...
Scribbler is a paint program which supports only basic operations like...