Designing and scaling complex, networked automation systems is a challenging task. Developers must consider different kinds of influence factors that impact the system performance already in the early stages of the development. If performance bottlenecks are detected too late, costly corrections may follow and the commissioning can be significantly delayed.There already exist several approaches to predict the performance of a system under development. However, developers must identify and decide themselves which factors must be regarded for a performance analysis and to what detail. Therefore, developers usually require in-depth knowledge of the system which is -- at least to this level of detail -- not available until the discipline specific development starts. In particular it is not clear, which factors influence the performance of a PLC and how these can be used for an early validation of a system model.The first contribution of this thesis is the identification and creation of a list of influence factors that impact one or more quality of service attributes of an automation system. For each factor, a decision is made, whether it is available in the early development stages, what assumptions must be made by the developer, and what impact it has on the overall system performance.The second contribution is a method that enables developers of automated systems to define the identified influence factors in systems engineering models and to carry out a subsequent automatic performance analysis. The method includes a model for the specification of influence factors within an existing Systems Engineering model as well as an accompanying process. Based on these models, an analysis can be performed to predict the utilization of a selected PLC. The results can be used to evaluate the design of the automation in the early phases and, therefore, avoid costly and ... ; eng

The text is designed for engineering students at the senior undergraduate level and first-year students at graduate level, and professionals (R&D engineers in the industry and factory managers). The authors offer a unique effort in presenting a unified and systematic treatment of various modeling methodologies and analysis techniques for performance evaluation of automated manufacturing systems. The text begins with an overview of automated manufacturing systems, and then provides a clear and comprehensive discussion of three principal analytical modeling paradigms: Markov Chains, Queues and Queuing Networks, and Petri Nets. Salient Features • Present the first ever treatment of the mathematical modeling of manufacturing systems. • Offers a unified study of principal analytical modeling paradigms for automated manufacturing systems. • Discusses many recent research contributions in the area of modeling of automated manufacturing systems. • Discusses many recent research contributions in the area of modeling of automated manufacturing systems, including deadlock modeling, transient analysis, queuing network approximations, Petri Net modeling, and integrated analytical modeling. • Provides a large number of exercises and problems.

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage. The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a continuum of former and future releases.

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.

This book provides insight and enhanced appreciation of analysis, modeling and control of dynamic systems. The reader is assumed to be familiar with calculus, physics and some programming skills. It might develop the reader’s ability to interpret physical significance of mathematical results in system analysis. The book also prepares the reader for more advanced treatment of subsequent knowledge in the automatic control field. Learning objectives are performance-oriented, using for this purpose interactive MATLAB and SIMULINK software tools. It presents realistic problems in order to analyze, design and develop automatic control systems. Learning with computing tools can aid theory and help students to think, analyze and reason in meaningful ways. The book is also complemented with classroom slides and MATLAB and SIMULINK exercise files to aid students to focus on fundamental concepts treated.

Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.

This book discusses challenges and solutions for the required information processing and management within the context of multi-disciplinary engineering of production systems. The authors consider methods, architectures, and technologies applicable in use cases according to the viewpoints of product engineering and production system engineering, and regarding the triangle of (1) product to be produced by a (2) production process executed on (3) a production system resource. With this book industrial production systems engineering researchers will get a better understanding of the challenges and requirements of multi-disciplinary engineering that will guide them in future research and development activities. Engineers and managers from engineering domains will be able to get a better understanding of the benefits and limitations of applicable methods, architectures, and technologies for selected use cases. IT researchers will be enabled to identify research issues related to the development of new methods, architectures, and technologies for multi-disciplinary engineering, pushing forward the current state of the art.

This book discusses the overall development and use of smart courts from the perspective of system-of-systems engineering (SoSE) and its methodology, analyzes the relationships between the components, structures, environments, and functions of various systems, and illustrates the basic approaches to system design, specification, integration, operation and management. As the general introductory book of the China Smart Court Development Series, this book provides an overview of the development of Chinese people's courts in the application of information technology over the past two decades and outlines the key areas of exploration in the Smart Court SoSe project centered on the development practices during the 13th Five-Year Plan period. It also forecasts the future development and evolution of the smart court information system. The key topics introduced in the book, including the overall design of complex information systems, integrated interconnection networks-based system integration, judicial big data quality control and analytics services, various types of AI-enabled judicial services, quality and efficiency-oriented operation and maintenance services for large-scale information systems, etc., all came from the basic research of information science and theories, as well as the systems engineering practices of the Smart Court SoSe project. They not only reflect the latest findings on systems engineering and architecture methods in China and overseas, but also reveal many innovative approaches to SoSE methods and paradigms, which can be used for the design and continued development of smart courts at a new and higher starting point. It is believed that they can also serve as good examples and reference points for the development in IT application and complex information systems engineering in other sectors.

This book constitutes the refereed proceedings of the 10th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 24 submissions. The papers describe innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). This year’s edition of SAM will be under the theme “Languages, Methods, and Tools for Systems Engineering”, including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation.