Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Auguston, M., Michael, J.B., Shing, M.-T.: Environment Behavior Models for Scenario Generation and Testing Automation. In: Proc. ICSE Workshop Advances in Model-Based Software Testing (2005)
Beugnard, A., et al.: Making Components Contract Aware. IEEE Computer 32(7), 38–45 (1999)
Brooks, F.P.: No Silver Bullet: Essence and Accidents of Software Engineering. IEEE Computer 20, 10–19 (1987)
Bryant, B.R., Lee, B.-S.: Two-Level Grammar as an Object-Oriented Requirements Specification Language. In: Proc. 35th Hawaii Intl. Conf. System Sciences (2002), http://www.hicss.hawaii.edu/HICSS_35/HICSSpapers/PDFdocuments/STDSL01.pdf
Bryant, B.R., et al.: Formal Specification of Generative Component Assembly Using Two-Level Grammar. In: Proc. 14th Intl. Conf. Software Engineering and Knowledge Engineering, pp. 209–212 (2002)
Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)
Klinker, G.J., et al.: Confluence of Computer Vision and Interactive Graphics for Augmented Reality. Presence: Teleoperators and Virtual Environments 6(4), 433–451 (1997)
Heineman, G., Councill, W.T.: Component-Based Software Engineering. Addison-Wesley, Reading (2001)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1997)
Kiczales, G., et al.: Getting Started with AspectJ. Communication of the ACM 44(10), 59–65 (2001)
Kordon, F., Lemoine, M. (eds.): Formal Methods for Embedded Distributed Systems: How to Master the Complexity. Springer, Heidelberg (2004)
Lee, B.-S., Bryant, B.R.: Automation of Software System Development Using Natural Language Processing and Two-Level Grammar. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol. 2941, pp. 219–223. Springer, Heidelberg (2004)
Lee, B.-S., Bryant, B.R.: Applying XML Technology for Implementation of Natural Language Specifications. Intl. Journal of Computer Systems, Science and Engineering 5, 3–24 (2003)
Liu, S.-H., Mernik, M., Bryant, B.R.: Parameter Control in Evolutionary Algorithms by Domain-Specific Scripting Language PPCEA. In: Proc. Intl. Conf. Bioinspired Optimization Methods and their Applications, pp. 41–50 (2004)
Liu, S.-H., et al.: Quality of Service-Driven Requirements Analyses for Component Composition: A Two-Level Grammar++ Approach. In: Proc. 17th Intl. Conf. Software Engineering and Knowledge Engineering, pp. 731–734 (2005)
Liu, S.-H., et al.: QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-time and Embedded Systems. In: Proc. 12th IEEE Intl. Conf. and Workshop Engineering of Computer Based Systems, pp. 202–209. IEEE Computer Society Press, Los Alamitos (2005)
Liu, S.-H., et al.: QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems. In: Proc. 18th Intl. Conf. Software Engineering and Knowledge Engineering, pp. 724–729 (2006)
Michigan State University. RAPIDWare: Component-Based Development of Adaptable and Dependable Middleware (2006), http://www.cse.msu.edu/rapidware
Olson, A.M., et al.: UniFrame: A Unified Framework for Developing Service-Oriented, Component-Based Distributed Software Systems. In: Stojanovic, Z., Dahanayake, A. (eds.) Service-Oriented Software System Engineering: Challenges and Practices, pp. 68–87. Idea Group Inc., Hershey (2005)
Raje, R.R., et al.: A Unified Approach for the Integration of Distributed Heterogeneous Software Components. In: Proc. 2001 Monterey Workshop Engineering Automation for Software Intensive System Integration, pp. 109–119 (2001)
Raje, R., et al.: A QoS-based Framework for Creating Distributed and Heterogeneous Software Components. Concurrency and Computation: Practice and Experience 14, 1009–1034 (2002)
Reicher, T.: A Framework for Dynamically Adaptable Augmented Reality Systems. Doctoral Dissertation, Institutfür Informatik. Technische Universität München (2004)
Siram, N.N., et al.: An Architecture for the UniFrame Resource Discovery Service. In: Proc. 3rd Intl. Workshop Software Engineering and Middleware, pp. 20–35 (2002)
Siram, N.N.: An Architecture for the UniFrame Resource Discovery Service. Master Thesis, Dept. of CIS. Indiana Univ.-Purdue Univ. Indianapolis (2002)
TAO (The ACE ORB). Distributed Object Computing (DOC) Group for Distributed Real-time and Embedded Systems (2006), http://www.cs.wustl.edu/~schmidt/TAO.html
Tuceryan, M., Genc, Y., Navab, N.: Single Point Active Alignment Method (SPAAM) for Optical See-through HMD Calibration for Augmented Reality. Presence: Teleoperators and Virtual Environments 11(3), 259–276 (2002)
Tuceryan, M., et al.: Calibration Requirements and Procedures for a Monitor-based Augmented Reality System. IEEE Trans. on Visualization and Computer Graphics 1(3), 255–273 (1995)
Tummala, H., et al.: Implementation and Analysis of Environment Behavior Models as a Tool for Testing Real-Time, Reactive System. In: Proc. 2006 IEEE Intl. Conf. on System of Systems Engineering, pp. 260–265. IEEE Computer Society Press, Los Alamitos (2006)
University of Texas at Dallas. APEX: Advanced Programming Environment for Embedded Computing Systems (2006), http://www.utdallas.edu/research/esc
Wang, N., et al.: QoS-enabled Middleware. Middleware for Communications. Wiley and Sons, Chichester (2003)
Whitaker, R., et al.: Object Calibration for Augmented Reality. In: Proc. Eurographics ’95, pp. 15–27 (1995)
Zaremski, A., Wing, J.: Specification Matching of Software Components. ACM Trans. on Software Engineering 6(4), 333–369 (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Liu, SH., Bryant, B.R., Auguston, M., Gray, J., Raje, R., Tuceryan, M. (2007). A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems. In: Kordon, F., Sztipanovits, J. (eds) Reliable Systems on Unreliable Networked Platforms. Monterey Workshop 2005. Lecture Notes in Computer Science, vol 4322. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71156-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-71156-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71155-1
Online ISBN: 978-3-540-71156-8
eBook Packages: Computer ScienceComputer Science (R0)