Modeling Unknown Values in Test and Verification

Becker, Bernd; Sauer, Matthias; Scholl, Christoph; Wimmer, Ralf

doi:10.1007/978-3-658-09994-7_5

Cited by 2 publications

(1 citation statement)

References 56 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…1) while the graph transformation rules such as SPs denote the behavior of the collaboration roles and graph conditions the required properties. To address various software aspects, we have developed extended attributed graph transformations systems covering real-time [51], probabilistic [52], and hybrid [47,53,54] behavior. These extensions can be used in the formal foundation of SMARTSOS.…”

Section: Foundationmentioning

confidence: 99%

Towards Smart Systems of Systems

Giese¹,

Vogel²,

Wätzoldt³

2015

Fundamentals of Software Engineering

View full text Add to dashboard Cite

Abstract. Systems of Systems (SoS) have started to emerge as a consequence of the general trend toward the integration of beforehand isolated systems. To unleash the full potential, the contained systems must be able to operate as elements in open, dynamic, and deviating SoS architectures and to adapt to open and dynamic contexts while being developed, operated, evolved, and governed independently. We name the resulting advanced SoS to be smart as they must be self-adaptive at the level of the individual systems and self-organizing at the SoS level to cope with the emergent behavior at that level. In this paper we analyze the open challenges for the envisioned smart SoS. In addition, we discuss our ideas for tackling this vision with our SMARTSOS approach that employs open and adaptive collaborations and models at runtime. In particular, we focus on preliminary ideas for the construction and assurance of smart SoS.

show abstract

Section: Foundationmentioning

confidence: 99%