Theoretical Computer Science
Comparing different approaches for specifying and verifying real-time systems
RTOSS '93 Proceedings of the tenth IEEE workshop on Real-time operating systems and software
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Model checking
Hierarchical Automata as Model for Statecharts
ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
Tamagotchis Need Not Die - Verification of STATEMENT Design
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Extending Promela and Spin for Real Time
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
The STATEMATE Verification Environment - Making It Real
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Generating Test Cases for a Timed I/O Automaton Model
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Proceedings of the Real-Time: Theory in Practice, REX Workshop
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
Efficient Deadlock-Freeness Detection in Real-time Systems
CIT '05 Proceedings of the The Fifth International Conference on Computer and Information Technology
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Testing deadlock-freeness in real-time systems: a formal approach
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Hi-index | 0.00 |
Verification development platform is a rapid, efficient and low-cost tool for embedded systems development, which helps to improve efficiency and quality of embedded software. There are some verification tools for embedded systems, however, the integrated verification environment for embedded systems is still a challenge. This paper focuses on the integrated verification environment of EUP (Embedded UML Platform), which supports functional verification of safety and liveness requirements and nonfunctional verification of time related constraints of embedded systems. The partition of functional and nonfunctional verification can facilitate the verification of different aspects of systems in different design phases. We will illustrate the feasibility of the integrated verification environment of EUP through the case study-RCS (Railway Crossing System).