Using models at runtime to address assurance for self-adaptive systems

Betty H C Cheng, Kerstin I Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A. Müller, Patrizio Pelliccione, Anna Perini, Nauman A. Qureshi, Bernhard Rumpe, Daniel Schneider, Frank Trollmann, Norha M. Villegas

Department of Computer Science
Bristol Robotics Laboratory
Microelectronics
Systems Centre

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

101 Citations (Scopus)

2 results

Finished
Trustworthy Robotic Assistants
Eder, K. I. (Principal Investigator)
23/04/13 → 23/10/16
Project: Research
RIVERAS: Robust Integrated Verification of Autonomous Systems (EPSRC AIS Call)
Eder, K. I. (Principal Investigator)
21/01/13 → 20/06/19
Project: Research

Using models at runtime to address assurance for self-adaptive systems

Projects

Search results

Trustworthy Robotic Assistants

RIVERAS: Robust Integrated Verification of Autonomous Systems (EPSRC AIS Call)