Practical Experiences in using Model-Driven Engineering to Develop Trustworthy Computing Systems

In this paper, we describe how Motorola has deployed model-driven engineering in product development, in particular for the development of trustworthy and highly reliable telecommunications systems, and outline the benefits obtained. Model-driven engineering has dramatically increased both the quality and the reliability of software developed in our organization, as well as the productivity of our software engineers. Our experience demonstrates that model-driven engineering significantly improves the development process for trustworthy computing systems

DIGITAL CO-CREATION Digitalization within Service Design : Transformation from analog thinking towards digital doing

The German automotive industry has accelerated its digital transformation as OEMs (Original Equipment Manufacturers) moving from car manufacturers towards becoming mobility providers, striving for new mobility solutions like offering Mobility as a Service (MaaS), Electric Vehicles (EVs) and Self-Driving-System (SDS). OEMs focus on expanding their core product-driven businesses to access service-orientated business models, the transformation from ownership towards shared mobility. Considering internal and external factors, this requires a new set of expertise, capabilities and an underlying approach to fulfill the demands in the complexity of human-centered development and front- and backstage alignment within the organization. At the same time, Service Design as a practice has risen in attraction by industry, being recognized and increasingly requested for its integration in the functions and divisions of the organization. The scale of Service Design in influence and impact has reached professional practice, making its way from a trendy buzzword to professional practice of turning complex problems collaboratively into tangible solutions. It is seen as a powerful opportunity for combining Business, Human-Centered Design and Engineering. Service Design establishes new ways of exploring business opportunities towards agile problem-solving but focuses on the ‘doing’ side towards further implementation. The contribution of this industrial-based doctoral thesis shall define how Service Design can be deployed and implemented in the field of organizational transformation and mobility development in the era of digital transformation (Digitalization). This research approach seeks to acquire new knowledge on how the Service Design practice can be applied and executed to be perceived as a practical approach to improve the enterprise’s processes and operating procedures and also provide a strategy to grow Service Design within the organization. This research has followed developing a pilot in a lean start-up approach of build, measure, learn with various business units and brands within the Volkswagen Group, this also implies that this research case study consisted of analyzing the Volkswagen Group needs for Service Design. The ‘10X-Service Design Lab’ (10X-SDL) has been designed as the framework of a combination of modular lab space, facilitation enhanced process, methodological driven tool box, operational model in alignment with a digital workflow and workspace striving for accelerated decision making. It is based on the hypothesis that the proposed framework enhances Service Design practice and, at the same time, it increases its attractiveness for business purposes. The 10X-SDL is designed to accelerate project development in a human-centered and holistic way by an open workspace platform lead by facilitators on which project developers, participants, and stakeholders can digitally co-create products, services, systems, and strategies. This research has been conducted as a case study within the Volkswagen Group from 2015 to 2019 in cooperation with the main partners of Service Innovation Corner (SINCO) of the University of Lapland and visual collaboration software company DEON

UML-Based co-design framework for body sensor network applications

Ph.DDOCTOR OF PHILOSOPH

Japanese cooperative R&D projects in software technology

Includes bibliographical references (leaves 50-55).Michael A. Cusumano

Embedded System Design

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues

The Japanese software industry : a comparative analysis of software development strategy and technology of selected corporations

Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1988.Bibliography: leaves 143-150.by Robert W. Arfman.M.S

Software Reuse Issues

NASA Langley Research Center sponsored a Workshop on NASA Research in Software Reuse on November 17-18, 1988 in Melbourne, Florida, hosted by Software Productivity Solutions, Inc. Participants came from four NASA centers and headquarters, eight NASA contractor companies, and three research institutes. Presentations were made on software reuse research at the four NASA centers; on Eli, the reusable software synthesis system designed and currently under development by SPS; on Space Station Freedom plans for reuse; and on other reuse research projects. This publication summarizes the presentations made and the issues discussed during the workshop

Embedded System Design

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues

A Very High Level Logic Synthesis

The evolution of Computer Aided Design (CAD) calls for the incorporation of design specifications into a microelectronics system development cycle. This expansion requires the establishment of a new generation of CAD procedures, defined as Very High Level Logic Synthesis (VHLLS). The fundamental characteristics of open-ended VHLLS are: (1) front-end graphical interface; (2) time encapsulation; and (3) automatic translation into a behavioral description. Consequently, the VHLLS paradigm represents an advanced category of CAD-based microelectronics system design, built on a deep usage of expert systems and intelligent methods. Artificial Intelligence (AI) formalisms such as Knowledge Representation System (KRS) are necessary to model properties related to the very high level of specification such as: dealing with ambiguities and inconsistencies, reasoning, computing high-level specification, etc. A prototype VHLLS design suite, called Specification Procedure for Electronic Circuits in Automation Language (SPECIAL), is defined, compared with today\u27s commercial tools and verified using numerous design examples. As a result, a new family of formal and accelerated development methodologies has become feasible with a better understanding of formalized knowledge driving these design processes