Handbook of theoretical computer science (vol. B)
Efficient string matching: an aid to bibliographic search
Communications of the ACM
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Translating discrete-time simulink to lustre
ACM Transactions on Embedded Computing Systems (TECS)
Synthesizing safe state machines from Esterel
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
New methods in software product line practice
Communications of the ACM - Software product line
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
Modeling and Model Checking Software Product Lines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Modeling scenario variability as crosscutting mechanisms
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Compiling Esterel
Specification and verification of time requirements with CCSL and Esterel
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Model Checking of Domain Artifacts in Product Line Engineering
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Mega-scale product line engineering at General Motors
Proceedings of the 16th International Software Product Line Conference - Volume 1
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Efficient consistency checking of scenario-based product-line specifications
RE '12 Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference (RE)
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |
This paper presents a new model of scenarios, dedicated to the specification and verification of system behaviours in the context of software product lines (SPL). We draw our inspiration from some techniques that are mostly used in the hardware community, and we show how they could be applied to the verification of software components. We point out the benefits of synchronous languages and models to bridge the gap between both worlds.