Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements

Sanwal, Muhammad Usman; Hasan, Osman

doi:10.1007/978-3-642-39637-3_29

Cited by 38 publications

(15 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Second, over-approximation in the computations is reduced by LP methods (e.g. [39]), SMT solvers [40], and higher-order-logic theorem proving (e.g [41]). …”

Section: Formal Verification Of Systems With Uncertaintiesmentioning

confidence: 99%

Verification and validation of AMS systems: Towards coverage of uncertainties

Grimm

Radojicic

2015

2015 IEEE 20th International Mixed-Signals Testing Workshop (IMSTW)

View full text Add to dashboard Cite

In today's systems, analog and mixed-signal (AMS) circuits are tightly interwoven with HW/SW systems and the application. Hence, a verification of the AMS part alone is not sufficient any more, in particular considering its application in Cyber-Physical Systems. In order to guarantee 'first time right', the accuracy of the models, the validation of the application fitness, and in changing, uncertain environments will become at least as important. In this paper we discuss and give an overview of methods that strive for validation of AMS systems with increased coverage. We in particular focus modeling, verification and validation of uncertainties in the context of Cyber-Physical Systems.

show abstract

“…Second, over-approximation in the computations is reduced by LP methods (e.g. [39]), SMT solvers [40], and higher-order-logic theorem proving (e.g [41]). …”

Section: Formal Verification Of Systems With Uncertaintiesmentioning

confidence: 99%

Verification and validation of AMS systems: Towards coverage of uncertainties

Grimm

Radojicic

2015

2015 IEEE 20th International Mixed-Signals Testing Workshop (IMSTW)

View full text Add to dashboard Cite

show abstract

“…Clearly the CPS design process is multi-disciplinary, which means existing tools and techniques-other than perhaps for the cyber portion-may not be adequate. For instance, CPS design requires special modeling techniques [5], more sophisticated formal verification methods [6] and may even require cyber-physical codesign tools [7].…”

Section: -Real-time Operationmentioning

confidence: 99%

Cyber-Physical Systems: The Next Generation of Evolvable Hardware Research and Applications

Greenwood

Gallagher

Matson

2015

Proceedings in Adaptation, Learning and Optimization

View full text Add to dashboard Cite

Abstract. Since the late 1990s the sales of processors targeted for embedded systems has exceeded sales for the PC market. Some embedded systems tightly link the computing resources to the physical world. Such systems are called cyberphysical systems. Autonomous cyber-physical systems often have safety-critical missions, which means they must be fault tolerant. Unfortunately fault recovery options are limited; adapting the physical system behavior may be the only viable option. Consequently, autonomous cyber-physical systems are a class of adaptive systems. The evolvable hardware field has developed a number of techniques that should prove to be useful for designing cyber-physical systems although work along those lines has only recently begun. In this paper we provide an overview of cyber-physical systems and then describe how two evolvable hardware techniques can be used to adapt the physical system behavior in real-time. The goal is to introduce cyber-physical systems to the evolvable hardware community and encourage those researchers to begin working in this emerging field.

show abstract

“…There have been calls for a science and technology foundation for CPS design that is model-based, precise, and predictable [20] while supporting integration of a range of semantic bases [21]. The state of the art has been characterised as almost exclusively involving discrete abstractions of continuous behaviour [22], although several model-based approaches, including that of Ptolemy [23], support heterogeneous modelling and simulation.…”

Section: A Current Capabilitiesmentioning

confidence: 99%

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

Fitzgerald

Gamble

Larsen

et al. 2015

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering

View full text Add to dashboard Cite

The engineering of dependable cyber-physical systems (CPSs) is inherently collaborative, demanding cooperation between diverse disciplines. A goal of current research is the development of integrated tool chains for model-based CPS design that support co-modelling, analysis, co-simulation, testing and implementation. We discuss the role of formal methods in addressing three key aspects of this goal: providing reasoning support for semantically heterogeneous models, managing the complexity and scale of design space exploration, and supporting traceability and provenance in the CPS design set. We briefly outline an approach to the development of such a tool chain based on existing tools and discuss ongoing challenges and open research questions in this area. IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering978-1-4673-7043-1/15 $31.00

show abstract

Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements

Cited by 38 publications

References 24 publications

Verification and validation of AMS systems: Towards coverage of uncertainties

Verification and validation of AMS systems: Towards coverage of uncertainties

Cyber-Physical Systems: The Next Generation of Evolvable Hardware Research and Applications

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

Contact Info

Product

Resources

About