VARIABILITY–ORIENTED EMBEDDED COMPONENT DESIGN FOR AMBIENT INTELLIGENCE

Ambient Intelligence is a new vision of future digital environments characterized by ubiquity, transpa-rency and intelligence. The user is surrounded by embedded systems that are invisible, context-aware, personalized and adaptable to the user requirements. Design of Ambient Intelligence systems is, essentially, design of sophisticated and interconnected embedded systems that operate within a common human-oriented environment. Such embedded sys-tems contain a variety of embedded components with different functionality, characteristics and requirements. Embed-ded components are common hardware/software components that are basic blocks for building embedded systems and have a great deal of variability. This paper focuses on embedded component design for Ambient Intelligence systems and proposes a design framework based on the systematic domain analysis methods, well-proven domain models, well-documented design processes, UML-based object-oriented specification, meta-programming-based representation of variability within generic embedded components, and automatic domain code generation. We demonstrate validity of our approach for two domains of application: communication control and fault-tolerance.

[1]  Lambert Spaanenburg,et al.  Embedded Systems Roadmap 2002 , 2002 .

[2]  Michael Rovatsos,et al.  Handbook of Software Engineering and Knowledge Engineering , 2005 .

[3]  Luca Benini,et al.  Scaling into ambient intelligence , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[4]  Daniel D. Gajski.  Principles of Digital Design , 1996 .

[5]  Robertas Damasevicius,et al.  Soft IP Design Framework Using Metaprogramming Techniques , 2002, DIPES.

[6]  Frank Vahid,et al.  The Softening of Hardware , 2003, Computer.

[7]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[8]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[9]  Luis Entrena,et al.  Automatic Generation of Fault Tolerant VHDL Designs in RTL , 2001 .

[10]  Vytautas Štuikys,et al.  Metaprogramming techniques for designing embedded components for ambient intelligence , 2003 .

[11]  Luciano Lavagno,et al.  UML for Real , 2003, Springer US.

[12]  Bran Selic,et al.  Models, Software Models and UML , 2003, UML for Real.

[13]  Sharad Malik,et al.  A Disciplined Approach to the Development of Architectural Platforms , 2002 .

[14]  John W. Lockwood,et al.  Protocol Wrappers for Layered Network Packet Processing in Reconfigurable Hardware , 2002, IEEE Micro.

[15]  Betty H. C. Cheng,et al.  UML-based analysis of embedded systems using a mapping to VHDL , 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.

[16]  Guillermo Arango,et al.  Domain Analysis and Software Systems Modeling , 1991 .

[17]  Stefan Johansson,et al.  Application of Software design patterns to DSP library design , 2001, International Symposium on System Synthesis (IEEE Cat. No.01EX526).

[18]  Bran Selic.  Complete High-Performance Code Generation from UML Models , 2013 .

[19]  Jianwen Zhu,et al.  MetaRTL: raising the abstraction level of RTL design , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

[20]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[21]  M. Harsu.  A survey on domain engineering , 2002 .

[22]  F. Boekhorst.  Ambient intelligence, the next paradigm for consumer electronics: how will it affect silicon? , 2002, 2002 IEEE International Solid-State Circuits Conference. Digest of Technical Papers (Cat. No.02CH37315).

[23]  Radu Marculescu,et al.  Ambient intelligence visions and achievements: linking abstract ideas to real-world concepts , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[24]  Shaahin Hessabi,et al.  Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs , 2004, J. Univers. Comput. Sci..

[25]  Miodrag Potkonjak,et al.  MetaCores: design and optimization techniques , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[26]  Ed F. Deprettere,et al.  An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures , 1997, ASAP.

[27]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[28]  K. Ducatel,et al.  Scenarios for Ambient Intelligence in 2010 Final Report , 2001 .

[29]  Stephen A. Edwards,et al.  Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.

[30]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[31]  Heinrich Theodor Vierhaus,et al.  Generating reliable embedded processors , 1998, IEEE Micro.

[32]  Francesco Vatalaro,et al.  Presence 2010: The emergence of ambient intelligence , 2003 .

[33]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[34]  Gabor Karsai,et al.  Generative programming for embedded systems , 2002, PPDP '02.

[35]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[36]  Christopher P. Fuhrman,et al.  Hardware/software fault tolerance with multiple task modular redundancy , 1995, Proceedings IEEE Symposium on Computers and Communications.

[37]  Alexander A. Stepanov,et al.  Generic Programming , 1988, ISSAC.

[38]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.

[39]  Bernard Laurent,et al.  Virtual components application and customization , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

[40]  Robertas Damasevicius,et al.  Application of the object-oriented principles for hardware and embedded system design , 2004, Integr..

[41]  Jürgen Haase.  Design methodology for IP providers , 1999, DATE '99.

[42]  Robert Siegmund,et al.  A Method for Interface Customization of Soft IP Cores , 2001 .

[43]  Robertas Damasevicius,et al.  Application of design patterns for hardware design , 2003, DAC '03.

[44]  Ahmed Amine Jerraya,et al.  Automatic generation of embedded memory wrapper for multiprocessor SoC , 2002, DAC '02.

[45]  Werner Weber.  Ambient intelligence: industrial research on a visionary concept , 2003, ISLPED '03.

[46]  Yang Cai.  Ambient Intelligence for Scientific Discovery: foundations, Theories, and Systems , 2005 .

[47]  Bran Selic.  Architectural Patterns for Real-Time Systems , 2003, UML for Real.

[48]  Carsten Nitsch,et al.  A novel design technology for next generation ubiquitous computing architectures , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[49]  Kees van Berkel,et al.  Handshake Circuits: An Asynchronous Architecture for VLSI Programming , 1993 .

[50]  Twan Basten,et al.  Ambient Intelligence: Impact on Embedded Sytem Design , 2003, Springer US.

[51]  Grant Martin.  UML for embedded systems specification and design: motivation and overview , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[52]  Robertas Damasevicius,et al.  Application of UML for hardware design based on design process model , 2004, ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753).

[53]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[54]  Ivar Jacobson,et al.  Software Reuse: Architecture, Process And Organization For Business Success , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

[55]  Gjalt G. de Jong.  A UML-Based Design Methodology for Real-Time and Embedded Systems , 2002, DATE.

[56]  Andreas Gerstlauer,et al.  System-level abstraction semantics , 2002, 15th International Symposium on System Synthesis, 2002..

[57]  Harold Ossher,et al.  Multi-Dimensional Separation of Concerns and the Hyperspace Approach , 2002 .

[58]  Hugo De Man,et al.  Formalized three-layer system-level reuse model and methodology for embedded data-dominated applications , 2000, DATE '00.

[59]  Martyn Edwards,et al.  UML for Hardware and Software Object Modeling , 2003, UML for Real.

[60]  Martin Becker,et al.  Generic Components: A Symbiosis of Paradigms , 2000, GCSE.