Aspects of Adaptive Systems Engineering: A Professional Printing Case

Adaptive systems engineering comprises two individual themes, adaptive systems and systems engineering, and their interaction. In the Octopus project, some challenges that arise from these themes have been addressed in the realm of professional printers. This chapter serves to place these challenges in a common context, which is done along the BAPO structuring principle (Business, Architecture, Process, Organisation). The main research challenges addressed in the project appear in the architecture and process parts of BAPO. For architecture, patterns for behaviour and self-reflection about behaviour are the most relevant elements in the context of adaptive systems. For the architecting process, support through models in a model-based paradigm brings advantages in specification, options exploration and analysis, and synthesis of adaptive systems.

[1]  Finn Verner Jensen,et al.  Introduction to Bayesian Networks , 2008, Innovations in Bayesian Networks.

[2]  Gabor Karsai,et al.  MDE-based approach for generalizing design space exploration , 2010, MODELS'10.

[3]  Jürgen Dix,et al.  Multi-Agent Programming , 2009, Springer US.

[4]  Henry Hoffmann,et al.  SEEC: A Framework for Self-aware Computing , 2010 .

[5]  Jan F. Broenink,et al.  Multi-Disciplinary Design Support using Hardware-in-the-Loop Simulation , 2004 .

[6]  Brian Fitzgerald,et al.  Formalized systems development methodologies: a critical perspective , 1996, Inf. Syst. J..

[7]  Lotfi A. Zadeh,et al.  Optimality and non-scalar-valued performance criteria , 1963 .

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

[9]  Howard Eisner,et al.  Essentials of Project and Systems Engineering Management , 1996 .

[10]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[11]  Christian Haubelt,et al.  SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications , 2009, TODE.

[12]  Martijn Wisse,et al.  System overview of bipedal robots Flame and TUlip: Tailor-made for Limit Cycle Walking , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[13]  Lou J. Somers,et al.  Experiences and Lessons Learned Using UML-RT to Develop Embedded Printer Software , 2002, PROFES.

[14]  Tetsuo Tomiyama,et al.  Development of design methodology for upgradable products based on function–behavior–state modeling , 2005, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[15]  Wolfgang Reisig,et al.  Lectures on Concurrency and Petri Nets , 2003, Lecture Notes in Computer Science.

[16]  Darío Maravall,et al.  Adaptation, anticipation and rationality in natural and artificial systems: computational paradigms mimicking nature , 2008 .

[17]  Henk Corporaal,et al.  System-scenario-based design of dynamic embedded systems , 2009, TODE.

[18]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[19]  Teade Punter,et al.  Views on Evolvability of Embedded Systems , 2010 .

[20]  R. Mathijssen.,et al.  Trader : reliability of high-volume consumer products:a collaborative research project on the reliability of complex embedded systems , 2009 .

[21]  Arjan J. de Roo,et al.  Managing Software Complexity of Adaptive Systems , 2012 .

[22]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction , 1998 .

[23]  Panos Y. Papalambros,et al.  Principles of Optimal Design: Modeling and Computation , 1988 .

[24]  Klaus Schmid,et al.  Software product lines in action - the best industrial practice in product line engineering , 2007 .

[25]  B Boehm.  A spiral model of software development and enhancement , 1986, SOEN.

[26]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[27]  Gerrit Muller,et al.  Systems Architecting: a Business Perspective , 2011 .

[28]  Stuart Anderson,et al.  Requirements Evolution from Process to Product Oriented Management , 2001, PROFES.

[29]  Takeo Kanade,et al.  Footstep Planning for the Honda ASIMO Humanoid , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[30]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[31]  Michael Winikoff,et al.  JACKTM Intelligent Agents: An Industrial Strength Platform , 2005, Multi-Agent Programming.

[32]  Roland Lang,et al.  Model-Based System Development: An Approach to Building X-by-Wire Applications , 2002, IEEE Micro.

[33]  Sander Stuijk,et al.  SDF^3: SDF For Free , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

[34]  Thomas A. Henzinger,et al.  The Embedded Systems Design Challenge , 2006, FM.