Compositional verification of self-adaptive cyber-physical systems

Cyber-Physical Systems (CPSs) must often self-adapt to respond to changes in their operating environment. However, using formal verification techniques to provide assurances that critical requirements are satisfied can be computationally intractable due to the large state space of self-adaptive CPSs...

Full description

Saved in:

Bibliographic Details
Published in:	2018 IEEE ACM 13th International Symposium on Software Engineering for Adaptive and Self Managing Systems (SEAMS) pp. 1 - 11
Main Authors:	Borda, Aimee, Pasquale, Liliana, Koutavas, Vasileios, Nuseibeh, Bashar
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 28.05.2018
Series:	ACM Conferences
Subjects:	Adaptation models Cyber-physical systems Floors HVAC Image restoration Process Calculi Self Adaptive Systems Servers Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software notations and tools > System description languages > System modeling languages Theory of computation > Models of computation > Concurrency > Process calculi Verification
ISBN:	9781450357159, 1450357156
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!