Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Communications of the ACM
Formal specification of generative component assembly using two-level grammar
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Calibration Requirements and Procedures for a Monitor-Based Augmented Reality System
IEEE Transactions on Visualization and Computer Graphics
Making Components Contract Aware
Computer
Presence: Teleoperators and Virtual Environments
Two-Level Grammar as an Object-Oriented Requirements Specification Language
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Environment behavior models for scenario generation and testing automation
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Formal methods for embedded distributed systems: how to master the complexity
Formal methods for embedded distributed systems: how to master the complexity
An architecture for the UniFrame resource discovery service
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
| Hi-index | 0.00 |
In applying Component-Based Software Engineering (CBSE) techniques to the domain of Distributed Real-time and Embedded (DRE) Systems, there are five critical challenges: 1) discovery of relevant components and resources, 2) specification and modeling of components, 3) exploration and elimination of design assembly options, 4) automated generation of heterogeneous component bridges, and 5) validation of context-related embedded systems. To address these challenges, this paper introduces four core techniques to facilitate high-confidence DRE system construction from components: 1) A component and resource discovery technique promotes component searching based on rich and precise descriptions of components and context; 2) A timed colored Petri Net-based modeling toolkit enables design and analysis on DRE systems, as well as reduces unnecessary later work by eliminating infeasible design options; 3) A formal specification language describes all specifications consistently and automatically generates component bridges for seamless system integration; and 4) A grammar-based formalism specifies context behaviors and validates integrated systems using sufficient context-related test cases. The success of these ongoing techniques may not only accelerate the software development pace and reduce unnecessary development cost, but also facilitate high-confidence DRE system construction using different formalisms over the entire software life-cycle.