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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2018 IEEE ACM 13th International Symposium on Software Engineering for Adaptive and Self Managing Systems (SEAMS) s. 1 - 11
Hlavní autori:	Borda, Aimee, Pasquale, Liliana, Koutavas, Vasileios, Nuseibeh, Bashar
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 28.05.2018
Edícia:	ACM Conferences
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!