Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Handbook of theoretical computer science (vol. B)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Model checking, abstraction, and compositional verification
Model checking, abstraction, and compositional verification
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Model checking
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Software product lines: practices and patterns
Software product lines: practices and patterns
Symbolic Model Checking
PICCOLA---a small composition language
Formal methods for distributed processing
Specification, implementation, and deployment of components
Communications of the ACM
Model-Based Development of Embedded Systems
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Component Model for Field Devices
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
A Stubborn Attack On State Explosion
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Combining Partial Order Reductions with On-the-fly Model-Checking
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Modeling and verification of parallel processes
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Hi-index | 0.00 |
In this chapter we introduce a component-based development process to deal with the complexity of the development of embedded software systems. This process is defined based on a reuse method for colored Petri nets. The use of formal methods and an associated systematic process promotes a greater confidence in the models reducing the time and errors to develop complex embedded software systems. A transducer network is used as a case study to illustrate the approach presented in this chapter.