Local and global deadlock-detection in component-based systems are NP-hard
Information Processing Letters
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Liveness in Interaction Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Robustness in Interaction Systems
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Models in Software Engineering
Distributed Semantics and Implementation for Systems with Interaction and Priority
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Everything Is PSPACE-Complete in Interaction Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
A Notion of Glue Expressiveness for Component-Based Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Compositional analysis of deadlock-freedom for tree-like component architectures
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
A Component Model for Control-Intensive Distributed Embedded Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Compositional Verification for Component-Based Systems and Application
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects
Coordinating Object Oriented Components Using Data-Flow Networks
Formal Methods for Components and Objects
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Heterogeneous composition of models of computation
Future Generation Computer Systems
Translating AADL into BIP - Application to the Verification of Real-Time Systems
Models in Software Engineering
Models in Software Engineering
Actors without Directors: A Kahnian View of Heterogeneous Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Certifying deadlock-freedom for BIP models
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
Incremental Component-Based Construction and Verification of a Robotic System
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Modeling AADL Data Communication with BIP
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Formal Verification of AADL Specifications in the Topcased Environment
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Process-Algebraic Interpretation of AADL Models
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
D-Finder: A Tool for Compositional Deadlock Detection and Verification
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Model checking: algorithmic verification and debugging
Communications of the ACM - Scratch Programming for All
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Analyzing a Pattern-Based Model of a Real-Time Turntable System
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling synchronous systems in BIP
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Exploring Multi-Paradigm Modeling Techniques
Simulation
Integration of time issues into component-based applications
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A methodology and supporting tools for the development of component-based embedded systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Deriving complexity results for interaction systems from 1-safe Petri nets
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Model-based software engineering: the challenges of modelling behaviour
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Causal semantics for the algebra of connectors
Formal Methods in System Design
Behavioural interoperability to support model-driven systems integration
Proceedings of the First International Workshop on Model-Driven Interoperability
From high-level component-based models to distributed implementations
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Ptera: an event-oriented model of computation for heterogeneous systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Model-based implementation of real-time applications
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Systematic correct construction of self-stabilizing systems: a case study
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Verification of an AFDX infrastructure using simulations and probabilities
RV'10 Proceedings of the First international conference on Runtime verification
Reasoning about safety and progress using contracts
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
D-finder 2: towards efficient correctness of incremental design
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Model construction and priority synthesis for simple interaction systems
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Integrating behaviour in software models: an event coordination notation -- concepts and prototype
Proceedings of the Third Workshop on Behavioural Modelling
An approach for describing concurrency and communication of heterogeneous systems
Proceedings of the Third Workshop on Behavioural Modelling
Incremental component-based construction and verification using invariants
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
Towards verified synthesis of ProCom, a component model for real-time embedded systems
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Design pattern solutions as explicit entities in component-based software development
Proceedings of the 16th international workshop on Component-oriented programming
Synthesizing glue operators from glue constraints for the construction of component-based systems
SC'11 Proceedings of the 10th international conference on Software composition
A formal approach for incremental construction with an application to autonomous robotic systems
SC'11 Proceedings of the 10th international conference on Software composition
On the hardness of priority synthesis
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Automated distributed implementation of component-based models with priorities
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Automated addition of fault recovery to cyber-physical component-based models
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation
CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Algorithms for synthesizing priorities in component-based systems
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Runtime verification of component-based systems
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Compositional strategy mapping
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Achieving distributed control through model checking
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Statistical abstraction and model-checking of large heterogeneous systems
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Rigorous system design: the BIP approach
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
The hierarchical compositional interchange format
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Generating Invariant-Based Certificates for Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)
Structured Communication-Centered Programming for Web Services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analyzing component-based systems on the basis of architectural constraints
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
BeJC: checking compliance between Java implementation and behavior specification
Proceedings of the 17th international doctoral symposium on Components and Architecture
Connector algebras, petri nets, and BIP
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
M&S-based design of embedded controllers on network processors
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Knowledge-Based distributed conflict resolution for multiparty interactions and priorities
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Using coordinated actors to model families of distributed systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
AGERE!: programming based on actors, agents, and decentralized control
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Deadlock-freedom in component systems with architectural constraints
Formal Methods in System Design
Rigorous design of robot software: A formal component-based approach
Robotics and Autonomous Systems
Rigorous component-based system design
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Statistical model checking qos properties of systems with SBIP
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Optimized distributed implementation of multiparty interactions with observation
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Distributed priority synthesis using knowledge
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
metroII: A design environment for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Model-Based implementation of parallel real-time systems
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
A Design Tool for Service-oriented Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Knowledge based transactional behavior
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
A mechanized semantic framework for real-time systems
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Formal component-based modeling and synthesis for PLC systems
Computers in Industry
Design synthesis and optimization for automotive embedded systems
Proceedings of the 2014 on International symposium on physical design
Hi-index | 0.00 |
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitions; Interactions between transitions of the behavior; Priorities, used to choose amongst possible interactions. A parameterized binary composition operator is used to compose components layer by layer. We present the BIP language for the description and composition of layered components as well as associated tools for executing and analyzing components on a dedicated platform. The language provides a powerful mechanism for structuring interactions involving rendezvous and broadcast. We show that synchronous and timed systems are particular classes of components. Finally, we provide examples and compare the BIP framework to existing ones for heterogeneous component-based modeling.