Free access to special issue journal published on software engineering for trustworthy cyber-physical systems
News | Posted on Monday 17 May 2021
Dr Radu Calinescu was a joint editor of this special issue of Elsevier's Journal of systems and software
AAIP's Dr Radu Calinescu was a joint editor of this special issue journal, with Danny Weyns and Tomas Bures.
The journal includes a number of papers focused on the trustworthiness of cyber-physical systems, including those on topics such as verification, assurance, certification and security modelling.
Until 30 June you can read the articles for free. There is no need to register for an account - simply click the article names below to read them:
- Special Issue on software engineering for trustworthy cyber–physical systems (Editorial)
- Early validation of cyber–physical space systems via multi-concerns integration
- Security modelling and formal verification of survivability properties: Application to cyber–physical systems
- Assurance and certification of cyber–physical systems: The AMASS open source ecosystem
- Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems
- Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
- Adaptive distributed monitors of spatial properties for cyber–physical systems
- Product-line assurance cases from contract-based design