Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Interval arithmetic: From principles to implementation
Journal of the ACM (JACM)
Discrete Event Dynamic Systems
Timing Assumptions and Verification of Finite-State Concurrent Systems
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Verification of analog/mixed-signal circuits using labeled hybrid petri nets
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Symbolic Model Checking of Analog/Mixed-Signal Circuits
ASP-DAC '07 Proceedings of the 2007 Asia and South Pacific Design Automation Conference
Verification of analog and mixed-signal circuits using symbolic methods
Verification of analog and mixed-signal circuits using symbolic methods
Volatiles are miscompiled, and what to do about it
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Efficient modeling and verification of analog/mixed-signal circuits using labeled hybrid petri nets
Efficient modeling and verification of analog/mixed-signal circuits using labeled hybrid petri nets
Analog/mixed-signal circuit verification using models generated from simulation traces
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
A Survey of Automated Techniques for Formal Software Verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Automatic abstraction for verification of cyber-physical systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Applying a def-use approach on signal exchange to implement SysML model-based testing
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
Verification of embedded systems is complicated by the fact that they are composed of digital hardware, analog sensors and actuators, and low level software. In order to verify the interaction of these heterogeneous components, it would be beneficial to have a single modeling formalism that is capable of representing all of these components. To address this need, this paper describes an extended labeled hybrid Petri net (LHPN) model that includes constructs for Boolean, discrete, and continuous variables as well as constructs to model timing. This paper also presents a method to verify these extended LHPNs. Finally, this paper presents a case study to illustrate the application of this model to the verification of a fault-tolerant temperature sensor.