Towards system development methodologies: From software to cyber-physical domain

Abstract

In many cases, it is more profitable to apply existing methodologies than to develop new ones. This holds, especially, for system development within the cyber-physical domain: until a certain abstraction level we can (re)use the methodologies for the software system development to benefit from the advantages of these techniques.

First International Workshop on Formal Techniques for Safety-Critical Systems 2012 (FTSCS 2012), ICFEM 2012 Satellite Event

References in corpus (1)

• Verified System Development with the AutoFocus Tool Chain

Cited by in corpus (5)

• From abstract modelling to remote cyber-physical integration/interoperability testing
• Cyber-Virtual Systems: Simulation, Validation & Visualization
• Formal specification of the FlexRay protocol using FocusST
• (Auto)Focus approaches and their applications: A systematic review
• Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems