Download or read book Model Based Engineering of Collaborative Embedded Systems written by Wolfgang Böhm and published by Springer Nature. This book was released on 2020-12-14 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.

Download or read book New Advances in Information Systems and Technologies written by Álvaro Rocha and published by Springer. This book was released on 2016-03-15 with total page 1113 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains a selection of articles from The 2016 World Conference on Information Systems and Technologies (WorldCIST'16), held between the 22nd and 24th of March at Recife, Pernambuco, Brazil. WorldCIST is a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences and challenges of modern Information Systems and Technologies research, together with their technological development and applications. The main topics covered are: Information and Knowledge Management; Organizational Models and Information Systems; Software and Systems Modeling; Software Systems, Architectures, Applications and Tools; Multimedia Systems and Applications; Computer Networks, Mobility and Pervasive Systems; Intelligent and Decision Support Systems; Big Data Analytics and Applications; Human-Computer Interaction; Health Informatics; Information Technologies in Education; Information Technologies in Radiocommunications.

Download or read book Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conferences 2005 written by and published by . This book was released on 2005 with total page 770 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Research development test and evaluation written by United States. Congress. House. Committee on Armed Services and published by . This book was released on 1983 with total page 1420 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Integrated and Collaborative Product Development Environment written by W. D. Li and published by World Scientific. This book was released on 2006 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt: With the rapid advances in computing and Internet technologies, an integrated and collaborative environment, which is based on the complementary functions of concurrent engineering and Internet-based collaborative engineering, is imperative for companies to facilitate and expedite the product realization processes. Topics such as concurrent and collaborative engineering, feature-based design and manufacturing, evolutionary computational techniques such as Tabu Search, Simulated Annealing, Genetic Algorithms features, intelligent and computer-aided process planning are important strategies and enabling technologies for developing an integrative environment, facilitating modern product design and development. This book covers the state-of-the-art research and development status of these strategies and technologies. Implementation strategies and case studies are provided with an emphasis on technical details to help readers understand the underlying algorithms and infrastructures. Contents: Manufacturing Feature Recognition Technology - State-of-the-Art; A Hybrid Method for Interacting Manufacturing Feature Recognition; Integration of Design-by-Feature and Manufacturing Feature Recognition; Intelligent Optimization of Process Planning; Collaborative Computer-Aided Design - State-of-the-Art; Development of Web-Based Process Planning Optimization System; Distributed and Collaborative Design-by-Feature System. Key Features Provides comprehensive surveys in the integrative and collaborative product development Updates the most recent R & D work of the last decade in the relevant areas Contains highly analytical approaches and methodologies Comprehensively covers implementation strategies and case studies Detailed discussions and comparisons of various approaches, algorithms and techniques Readership: Mechanical and manufacturing engineering graduate students, researchers in the field of concurrent engineering, collaborative engineering and intelligent engineering. Engineers in charge of utilization, development of concurrent and collaborative software tools.

Download or read book Defense Department Authorization and Oversight Research development test and evaluation written by United States. Congress. House. Committee on Armed Services and published by . This book was released on 1983 with total page 1404 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Content Ontology Design Patterns Qualities Methods and Tools written by Karl Hammar and published by Linköping University Electronic Press. This book was released on 2017-09-06 with total page 261 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ontologies are formal knowledge models that describe concepts and relationships and enable data integration, information search, and reasoning. Ontology Design Patterns (ODPs) are reusable solutions intended to simplify ontology development and support the use of semantic technologies by ontology engineers. ODPs document and package good modelling practices for reuse, ideally enabling inexperienced ontologists to construct high-quality ontologies. Although ODPs are already used for development, there are still remaining challenges that have not been addressed in the literature. These research gaps include a lack of knowledge about (1) which ODP features are important for ontology engineering, (2) less experienced developers' preferences and barriers for employing ODP tooling, and (3) the suitability of the eXtreme Design (XD) ODP usage methodology in non-academic contexts. This dissertation aims to close these gaps by combining quantitative and qualitative methods, primarily based on five ontology engineering projects involving inexperienced ontologists. A series of ontology engineering workshops and surveys provided data about developer preferences regarding ODP features, ODP usage methodology, and ODP tooling needs. Other data sources are ontologies and ODPs published on the web, which have been studied in detail. To evaluate tooling improvements, experimental approaches provide data from comparison of new tools and techniques against established alternatives. The analysis of the gathered data resulted in a set of measurable quality indicators that cover aspects of ODP documentation, formal representation or axiomatisation, and usage by ontologists. These indicators highlight quality trade-offs: for instance, between ODP Learnability and Reusability, or between Functional Suitability and Performance Efficiency. Furthermore, the results demonstrate a need for ODP tools that support three novel property specialisation strategies, and highlight the preference of inexperienced developers for template-based ODP instantiation---neither of which are supported in prior tooling. The studies also resulted in improvements to ODP search engines based on ODP-specific attributes. Finally, the analysis shows that XD should include guidance for the developer roles and responsibilities in ontology engineering projects, suggestions on how to reuse existing ontology resources, and approaches for adapting XD to project-specific contexts.

Download or read book Handbook of Research on Embedded Systems Design written by Bagnato, Alessandra and published by IGI Global. This book was released on 2014-06-30 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt: As real-time and integrated systems become increasingly sophisticated, issues related to development life cycles, non-recurring engineering costs, and poor synergy between development teams will arise. The Handbook of Research on Embedded Systems Design provides insights from the computer science community on integrated systems research projects taking place in the European region. This premier references work takes a look at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases. This work will be invaluable to designers of embedded software, academicians, students, practitioners, professionals, and researchers working in the computer science industry.

Download or read book Program Manager written by and published by . This book was released on 1997 with total page 588 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Leveraging Applications of Formal Methods Verification and Validation Discussion Dissemination Applications written by Tiziana Margaria and published by Springer. This book was released on 2016-10-04 with total page 874 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.

Download or read book Advanced Model Based Engineering of Embedded Systems written by Klaus Pohl and published by Springer. This book was released on 2016-11-29 with total page 301 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it shows the applicability of the framework for the development of embedded systems in different industry domains and reports on the lessons learned. It also describes how the SPES XT modeling framework can be tailored to meet domain and project-specific needs. The book is structured into four parts: Part I “Starting Situation” discusses the status quo of the development of embedded systems with specific focus on model-based engineering and summarizes key challenges emerging from industrial practice. Part II “Modeling Theory” introduces the SPES XT modeling framework and explains the core underlying principles. Part III “Application of the SPES XT Framework” describes the application of the SPES XT modeling framework and how it addresses major industrial challenges. Part IV “Evaluation and Technology Transfer” assess the impact of the SPES XT modeling framework and includes various exemplary applications from automation, automotive, and avionics. Overall, the SPES XT modeling framework offers a seamless model-based engineering approach. It addresses core challenges faced during the engineering of embedded systems. Among others, it offers aligned and integrated techniques for the early validation of engineering artefacts (including requirements and functional and technical designs), the management of product variants and their variability, modular safety assurance and deployment of embedded software.

Download or read book Discrete and Continuous Simulation written by Susmita Bandyopadhyay and published by CRC Press. This book was released on 2014-06-25 with total page 380 pages. Available in PDF, EPUB and Kindle. Book excerpt: When it comes to discovering glitches inherent in complex systems—be it a railway or banking, chemical production, medical, manufacturing, or inventory control system—developing a simulation of a system can identify problems with less time, effort, and disruption than it would take to employ the original. Advantageous to both academic and industrial practitioners, Discrete and Continuous Simulation: Theory and Practice offers a detailed view of simulation that is useful in several fields of study. This text concentrates on the simulation of complex systems, covering the basics in detail and exploring the diverse aspects, including continuous event simulation and optimization with simulation. It explores the connections between discrete and continuous simulation, and applies a specific focus to simulation in the supply chain and manufacturing field. It discusses the Monte Carlo simulation, which is the basic and traditional form of simulation. It addresses future trends and technologies for simulation, with particular emphasis given to .NET technologies and cloud computing, and proposes various simulation optimization algorithms from existing literature. Includes chapters on input modeling and hybrid simulation Introduces general probability theory Contains a chapter on Microsoft® ExcelTM and MATLAB®/Simulink® Discusses various probability distributions required for simulation Describes essential random number generators Discrete and Continuous Simulation: Theory and Practice defines the simulation of complex systems. This text benefits academic researchers in industrial/manufacturing/systems engineering, computer sciences, operations research, and researchers in transportation, operations management, healthcare systems, and human–machine systems.

Download or read book EG ICE 2021 Workshop on Intelligent Computing in Engineering written by Abualdenien, Jimmy and published by Universitätsverlag der TU Berlin. This book was released on 2021-08-06 with total page 618 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 28th EG-ICE International Workshop 2021 brings together international experts working at the interface between advanced computing and modern engineering challenges. Many engineering tasks require open-world resolutions to support multi-actor collaboration, coping with approximate models, providing effective engineer-computer interaction, search in multi-dimensional solution spaces, accommodating uncertainty, including specialist domain knowledge, performing sensor-data interpretation and dealing with incomplete knowledge. While results from computer science provide much initial support for resolution, adaptation is unavoidable and most importantly, feedback from addressing engineering challenges drives fundamental computer-science research. Competence and knowledge transfer goes both ways. Der 28. Internationale EG-ICE Workshop 2021 bringt internationale Experten zusammen, die an der Schnittstelle zwischen fortgeschrittener Datenverarbeitung und modernen technischen Herausforderungen arbeiten. Viele ingenieurwissenschaftliche Aufgaben erfordern Open-World-Resolutionen, um die Zusammenarbeit mehrerer Akteure zu unterstützen, mit approximativen Modellen umzugehen, eine effektive Interaktion zwischen Ingenieur und Computer zu ermöglichen, in mehrdimensionalen Lösungsräumen zu suchen, Unsicherheiten zu berücksichtigen, einschließlich fachspezifischen Domänenwissens, Sensordateninterpretation durchzuführen und mit unvollständigem Wissen umzugehen. Während die Ergebnisse aus der Informatik anfänglich viel Unterstützung für die Lösung bieten, ist eine Anpassung unvermeidlich, und am wichtigsten ist, dass das Feedback aus der Bewältigung technischer Herausforderungen die computer-wissenschaftliche Grundlagenforschung vorantreibt. Kompetenz und Wissenstransfer gehen in beide Richtungen.

Download or read book Defense Department Authorization and Oversight Research development test and evaluation April 12 18 19 20 22 25 26 27 and 28 1983 written by United States. Congress. House. Committee on Armed Services and published by . This book was released on 1983 with total page 1404 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book SOC Design Methodologies written by Michel Robert and published by Springer. This book was released on 2013-03-15 with total page 489 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 11 th IFIP International Conference on Very Large Scale Integration, in Montpellier, France, December 3-5,2001, was a great success. The main focus was about IP Cores, Circuits and System Designs & Applications as well as SOC Design Methods and CAD. This book contains the best papers (39 among 70) that have been presented during the conference. Those papers deal with all aspects of importance for the design of the current and future integrated systems. System on Chip (SOC) design is today a big challenge for designers, as a SOC may contain very different blocks, such as microcontrollers, DSPs, memories including embedded DRAM, analog, FPGA, RF front-ends for wireless communications and integrated sensors. The complete design of such chips, in very deep submicron technologies down to 0.13 mm, with several hundreds of millions of transistors, supplied at less than 1 Volt, is a very challenging task if design, verification, debug and industrial test are considered. The microelectronic revolution is fascinating; 55 years ago, in late 1947, the transistor was invented, and everybody knows that it was by William Shockley, John Bardeen and Walter H. Brattein, Bell Telephone Laboratories, which received the Nobel Prize in Physics in 1956. Probably, everybody thinks that it was recognized immediately as a major invention.

Download or read book Studying Simulations with Distributed Cognition written by Jonas Rybing and published by Linköping University Electronic Press. This book was released on 2018-03-20 with total page 115 pages. Available in PDF, EPUB and Kindle. Book excerpt: Simulations are frequently used techniques for training, performance assessment, and prediction of future outcomes. In this thesis, the term “human-centered simulation” is used to refer to any simulation in which humans and human cognition are integral to the simulation’s function and purpose (e.g., simulation-based training). A general problem for human-centered simulations is to capture the cognitive processes and activities of the target situation (i.e., the real world task) and recreate them accurately in the simulation. The prevalent view within the simulation research community is that cognition is internal, decontextualized computational processes of individuals. However, contemporary theories of cognition emphasize the importance of the external environment, use of tools, as well as social and cultural factors in cognitive practice. Consequently, there is a need for research on how such contemporary perspectives can be used to describe human-centered simulations, re-interpret theoretical constructs of such simulations, and direct how simulations should be modeled, designed, and evaluated. This thesis adopts distributed cognition as a framework for studying human-centered simulations. Training and assessment of emergency medical management in a Swedish context using the Emergo Train System (ETS) simulator was adopted as a case study. ETS simulations were studied and analyzed using the distributed cognition for teamwork (DiCoT) methodology with the goal of understanding, evaluating, and testing the validity of the ETS simulator. Moreover, to explore distributed cognition as a basis for simulator design, a digital re-design of ETS (DIGEMERGO) was developed based on the DiCoT analysis. The aim of the DIGEMERGO system was to retain core distributed cognitive features of ETS, to increase validity, outcome reliability, and to provide a digital platform for emergency medical studies. DIGEMERGO was evaluated in three separate studies; first, a usefulness, usability, and facevalidation study that involved subject-matter-experts; second, a comparative validation study using an expert-novice group comparison; and finally, a transfer of training study based on self-efficacy and management performance. Overall, the results showed that DIGEMERGO was perceived as a useful, immersive, and promising simulator – with mixed evidence for validity – that demonstrated increased general self-efficacy and management performance following simulation exercises. This thesis demonstrates that distributed cognition, using DiCoT, is a useful framework for understanding, designing and evaluating simulated environments. In addition, the thesis conceptualizes and re-interprets central constructs of human-centered simulation in terms of distributed cognition. In doing so, the thesis shows how distributed cognitive processes relate to validity, fidelity, functionality, and usefulness of human-centered simulations. This thesis thus provides a new understanding of human-centered simulations that is grounded in distributed cognition theory.

Download or read book Tools and Methods for Analysis Debugging and Performance Improvement of Equation Based Models written by Martin Sjölund and published by Linköping University Electronic Press. This book was released on 2015-05-11 with total page 243 pages. Available in PDF, EPUB and Kindle. Book excerpt: Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. However, current state-of-the-art tools do not provide the user with enough information when errors appear or simulation results are wrong. It is of paramount importance that such tools should give the user enough information to correct errors or understand where the problems that lead to wrong simulation results are located. However, understanding the model translation process of an EOO compiler is a daunting task that not only requires knowledge of the numerical algorithms that the tool executes during simulation, but also the complex symbolic transformations being performed. As part of this work, methods have been developed and explored where the EOO tool, an enhanced Modelica compiler, records the transformations during the translation process in order to provide better diagnostics, explanations, and analysis. This information is used to generate better error-messages during translation. It is also used to provide better debugging for a simulation that produces unexpected results or where numerical methods fail. Meeting deadlines is particularly important for real-time applications. It is usually essential to identify possible bottlenecks and either simplify the model or give hints to the compiler that enable it to generate faster code. When profiling and measuring execution times of parts of the model the recorded information can also be used to find out why a particular system model executes slowly. Combined with debugging information, it is possible to find out why this system of equations is slow to solve, which helps understanding what can be done to simplify the model. A tool with a graphical user interface has been developed to make debugging and performance profiling easier. Both debugging and profiling have been combined into a single view so that performance metrics are mapped to equations, which are mapped to debugging information. The algorithmic part of Modelica was extended with meta-modeling constructs (MetaModelica) for language modeling. In this context a quite general approach to debugging and compilation from (extended) Modelica to C code was developed. That makes it possible to use the same executable format for simulation executables as for compiler bootstrapping when the compiler written in MetaModelica compiles itself. Finally, a method and tool prototype suitable for speeding up simulations has been developed. It works by partitioning the model at appropriate places and compiling a simulation executable for a suitable parallel platform.