Composition Of Embedded Systems Scientific And Industrial Issues

This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. The workshop discussed a range of challenges in embedded systems design that require further major advances in technology.

This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. The workshop discussed a range of challenges in embedded systems design that require further major advances in technology.

This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full papers presented were significantly extended and improved by the insights gained from the productive and lively discussions at the workshop, and the feedback from the post-workshop peer reviews.

This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive Systems. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The contributions show how the foundations and development techniques of computer software could be adapted even for industrial safety-critical and business-critical applications to improve dependability and robustness and to ensure information privacy and security.

This book presents cutting-edge research on innovative human systems integration and human–machine interaction, with an emphasis on artificial intelligence and automation, as well as computational modeling and simulation. It covers a wide range of applications in the area of design, construction and operation of products, systems and services, including lifecycle development and human–technology interaction. The book describes advanced methodologies and tools for evaluating and improving interface usability, new models, and case studies and best practices in virtual, augmented and mixed reality systems, with a special focus on dynamic environments. It also discusses various factors concerning the human user, hardware, and artificial intelligence software. Based on the proceedings of the 2nd International Conference on Intelligent Human Systems Integration (IHSI 2019), held on February 7–10, 2019, in San Diego, California, USA, the book also examines the forces that are currently shaping the nature of computing and cognitive systems, such as the need to reduce hardware costs; the importance of infusing intelligence and automation; the trend toward hardware miniaturization and power reduction; the need for a better assimilation of computation in the environment; and social concerns regarding access to computers and systems for people with special needs. It offers a timely survey and a practice-oriented reference guide for policy- and decision-makers, human factors engineers, systems developers and users alike.

This book presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development. The 13 revised full papers presented at the workshop explore, how the foundations and development techniques of computer software could be adapted to address such a challenge. Material presented in the papers spans the whole software life cycle, starting from specification and analysis, design and the choice of architectures, large scale, real-world software development, code generation and configuration, deployment, and evolution.

Architectural stress is the inability of a system design to respond to new market demands. It is an important yet often concealed issue in high tech systems. In From scientific instrument to industrial machine, we look at the phenomenon of architectural stress in embedded systems in the context of a transmission electron microscope system built by FEI Company. Traditionally, transmission electron microscopes are manually operated scientific instruments, but they also have enormous potential for use in industrial applications. However, this new market has quite different characteristics. There are strong demands for cost-effective analysis, accurate and precise measurements, and ease-of-use. These demands can be translated into new system qualities, e.g. reliability, predictability and high throughput, as well as new functions, e.g. automation of electron microscopic analyses, automated focusing and positioning functions. From scientific instrument to industrial machine takes a pragmatic approach to the problem of architectural stress. In particular, it describes the outcomes of the Condor project, a joint endeavour by a consortium of industrial and academic partners. In this collaboration an integrated approach was essential to successfully combine various scientific results and show the first steps towards a new direction. System modelling and prototyping were the key techniques to develop better understanding and innovative solutions to the problems associated with architectural stress. From scientific instruments to industrial machine is targeted mainly at industrial practitioners, in particular system architects and engineers working on high tech systems. It can therefore be read without particular knowledge of electron microscope systems or microscopic applications. The book forms a bridge between academic and applied science, and high tech industrial practice. By showing the approaches and solutions developed for the electron microscope, it is hoped that system designers will gain some insights in how to deal with architectural stress in similar challenges in the high tech industry.

This extensive and increasing use of embedded systems and their integration in everyday products mark a significant evolution in information science and technology. Nowadays embedded systems design is subject to seamless integration with the physical and electronic environment while meeting requirements like reliability, availability, robustness, power consumption, cost, and deadlines. Thus, embedded systems design raises challenging problems for research, such as security, reliable and mobile services, large-scale heterogeneous distributed systems, adaptation, component-based development, and validation and tool-based certification. This book results from the ARTIST FP5 project funded by the European Commision. By integration 28 leading European research institutions with many top researchers in the area, this book assesses and strategically advances the state of the art in embedded systems. The coherently written monograph-like book is a valuable source of reference for researchers active in the field and serves well as an introduction to scientists and professionals interested in learning about embedded systems design.