Download or read book Development of AUTOSAR standard documents at Carmeq GmbH written by Hebig, Regina and published by Universitätsverlag Potsdam. This book was released on 2016-01-11 with total page 56 pages. Available in PDF, EPUB and Kindle. Book excerpt: This report documents the captured MDE history of Carmeq GmbH, in context of the project Evolution of MDE Settings in Practice. The goal of the project is the elicitation of MDE approaches and their evolution.

Download or read book Development of AUTOSAR Standard Documents at Carmeq GmbH written by Regina Hebig and published by . This book was released on 2015 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Proceedings of the 9th Ph D retreat of the HPI Research School on service oriented systems engineering written by Meinel, Christoph and published by Universitätsverlag Potsdam. This book was released on 2017-03-23 with total page 266 pages. Available in PDF, EPUB and Kindle. Book excerpt: Design and implementation of service-oriented architectures impose numerous research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Service-oriented Systems Engineering represents a symbiosis of best practices in object orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. Service-oriented Systems Engineering denotes a current research topic in the field of IT-Systems Engineering with high potential in academic research and industrial application. The annual Ph.D. Retreat of the Research School provides all members the opportunity to present the current state of their research and to give an outline of prospective Ph.D. projects. Due to the interdisciplinary structure of the Research School, this technical report covers a wide range of research topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment.

Download or read book Proceedings of the Second HPI Cloud Symposium Operating the Cloud 2014 written by Bosse, Sascha and published by Universitätsverlag Potsdam. This book was released on 2015-12-23 with total page 74 pages. Available in PDF, EPUB and Kindle. Book excerpt: Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic “Operating the Cloud”. Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Hence, HPI’s Future SOC Lab is the adequate environment to host this event which is also supported by BITKOM. On the occasion of this workshop we called for submissions of research papers and practitioners’ reports. “Operating the Cloud” aims to be a platform for productive discussions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration. In this workshop proceedings the results of the second HPI cloud symposium "Operating the Cloud" 2014 are published. We thank the authors for exciting presentations and insights into their current work and research. Moreover, we look forward to more interesting submissions for the upcoming symposium in 2015.

Download or read book Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks written by Beyhl, Thomas and published by Universitätsverlag Potsdam. This book was released on 2016-01-12 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: Graph databases provide a natural way of storing and querying graph data. In contrast to relational databases, queries over graph databases enable to refer directly to the graph structure of such graph data. For example, graph pattern matching can be employed to formulate queries over graph data. However, as for relational databases running complex queries can be very time-consuming and ruin the interactivity with the database. One possible approach to deal with this performance issue is to employ database views that consist of pre-computed answers to common and often stated queries. But to ensure that database views yield consistent query results in comparison with the data from which they are derived, these database views must be updated before queries make use of these database views. Such a maintenance of database views must be performed efficiently, otherwise the effort to create and maintain views may not pay off in comparison to processing the queries directly on the data from which the database views are derived. At the time of writing, graph databases do not support database views and are limited to graph indexes that index nodes and edges of the graph data for fast query evaluation, but do not enable to maintain pre-computed answers of complex queries over graph data. Moreover, the maintenance of database views in graph databases becomes even more challenging when negation and recursion have to be supported as in deductive relational databases. In this technical report, we present an approach for the efficient and scalable incremental graph view maintenance for deductive graph databases. The main concept of our approach is a generalized discrimination network that enables to model nested graph conditions including negative application conditions and recursion, which specify the content of graph views derived from graph data stored by graph databases. The discrimination network enables to automatically derive generic maintenance rules using graph transformations for maintaining graph views in case the graph data from which the graph views are derived change. We evaluate our approach in terms of a case study using multiple data sets derived from open source projects.

Download or read book Proceedings of the 8th Ph D retreat of the HPI research school on service oriented systems engineering written by Meinel, Chistoph and published by Universitätsverlag Potsdam. This book was released on 2015 with total page 238 pages. Available in PDF, EPUB and Kindle. Book excerpt: Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. Commonly used technologies, such as J2EE and .NET, form de facto standards for the realization of complex distributed systems. Evolution of component systems has lead to web services and service-based architectures. This has been manifested in a multitude of industry standards and initiatives such as XML, WSDL UDDI, SOAP, etc. All these achievements lead to a new and promising paradigm in IT systems engineering which proposes to design complex software solutions as collaboration of contractually defined software services. Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the Research Scholl, this technical report covers a wide range of research topics. These include but are not limited to: Self-Adaptive Service-Oriented Systems, Operating System Support for Service-Oriented Systems, Architecture and Modeling of Service-Oriented Systems, Adaptive Process Management, Services Composition and Workflow Planning, Security Engineering of Service-Based IT Systems, Quantitative Analysis and Optimization of Service-Oriented Systems, Service-Oriented Systems in 3D Computer Graphics sowie Service-Oriented Geoinformatics.

Download or read book Inductive invariant checking with partial negative application conditions written by Dyck, Johannes and published by Universitätsverlag Potsdam. This book was released on 2016-04-13 with total page 48 pages. Available in PDF, EPUB and Kindle. Book excerpt: Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expressive power comes at the cost of rather limited automated analysis capabilities. The general case of unbounded many initial graphs or infinite state spaces is only supported by approaches with rather limited scalability or expressiveness. In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems. By employing partial negative application conditions to represent and check many alternative conditions in a more compact manner, we can check examples with rules and constraints of substantially higher complexity. We also substantially extend the expressive power by supporting more complex negative application conditions and provide higher accuracy by employing advanced implication checks. The improvements are evaluated and compared with another applicable tool by considering three case studies.

Download or read book Parts without a whole written by Schmiedgen, Jan and published by Universitätsverlag Potsdam. This book was released on 2016-02-03 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt: This explorative study gives a descriptive overview of what organizations do and experience when they say they practice design thinking. It looks at how the concept has been appropriated in organizations and also describes patterns of design thinking adoption. The authors use a mixed-method research design fed by two sources: questionnaire data and semi-structured personal expert interviews. The study proceeds in six parts: (1) design thinking¹s entry points into organizations; (2) understandings of the descriptor; (3) its fields of application and organizational localization; (4) its perceived impact; (5) reasons for its discontinuation or failure; and (6) attempts to measure its success. In conclusion the report challenges managers to be more conscious of their current design thinking practice. The authors suggest a co-evolution of the concept¹s introduction with innovation capability building and the respective changes in leadership approaches. It is argued that this might help in unfolding design thinking¹s hidden potentials as well as preventing unintended side-effects such as discontented teams or the dwindling authority of managers.

Download or read book Modeling collaborations in self adaptive systems of systems written by Wätzoldt, Sebastian and published by Universitätsverlag Potsdam. This book was released on 2015-04-30 with total page 78 pages. Available in PDF, EPUB and Kindle. Book excerpt: An increasing demand on functionality and flexibility leads to an integration of beforehand isolated system solutions building a so-called System of Systems (SoS). Furthermore, the overall SoS should be adaptive to react on changing requirements and environmental conditions. Due SoS are composed of different independent systems that may join or leave the overall SoS at arbitrary point in times, the SoS structure varies during the systems lifetime and the overall SoS behavior emerges from the capabilities of the contained subsystems. In such complex system ensembles new demands of understanding the interaction among subsystems, the coupling of shared system knowledge and the influence of local adaptation strategies to the overall resulting system behavior arise. In this report, we formulate research questions with the focus of modeling interactions between system parts inside a SoS. Furthermore, we define our notion of important system types and terms by retrieving the current state of the art from literature. Having a common understanding of SoS, we discuss a set of typical SoS characteristics and derive general requirements for a collaboration modeling language. Additionally, we retrieve a broad spectrum of real scenarios and frameworks from literature and discuss how these scenarios cope with different characteristics of SoS. Finally, we discuss the state of the art for existing modeling languages that cope with collaborations for different system types such as SoS.

Download or read book Automotive Embedded Systems Handbook written by Nicolas Navet and published by CRC Press. This book was released on 2017-12-19 with total page 566 pages. Available in PDF, EPUB and Kindle. Book excerpt: A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues. Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.

Download or read book Automotive Electronics Reliability written by Ronald K Jurgen and published by SAE International. This book was released on 2010-08-10 with total page 377 pages. Available in PDF, EPUB and Kindle. Book excerpt: Vehicle reliability problems continue to be the news because of major vehicle recalls from several manufacturers. This book includes 40 SAE technical papers, published from 2007 through 2010, that describe the latest research on automotive electronics reliability technology. This book will help engineers and researchers focus on the design strategies being used to minimize electronics reliability problems, and how to test and verify those strategies. After an overview of durability, risk assessment, and failure mechanisms, this book focuses on state-of-the-art techniques for reliability-based design, and reliability testing and verification. Topics include: powertrain control monitoring distributed automotive embedded systems model-based design x-by-wire systems battery durability design verification fault tree analysis The book also includes editor Ronald K. Jurgen’s introduction ,“Striving for Maximum Reliability in a Highly Complex Electronic Environment”, and a concluding section on the future of electronics reliability, including networking technology, domain control units, the use of AUTOSAR, and embedded software.

Download or read book Handbook of Driver Assistance Systems written by Hermann Winner and published by Springer. This book was released on 2015-10-15 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: This fundamental work explains in detail systems for active safety and driver assistance, considering both their structure and their function. These include the well-known standard systems such as Anti-lock braking system (ABS), Electronic Stability Control (ESC) or Adaptive Cruise Control (ACC). But it includes also new systems for protecting collisions protection, for changing the lane, or for convenient parking. The book aims at giving a complete picture focusing on the entire system. First, it describes the components which are necessary for assistance systems, such as sensors, actuators, mechatronic subsystems, and control elements. Then, it explains key features for the user-friendly design of human-machine interfaces between driver and assistance system. Finally, important characteristic features of driver assistance systems for particular vehicles are presented: Systems for commercial vehicles and motorcycles.

Download or read book Automotive User Interfaces written by Gerrit Meixner and published by Springer. This book was released on 2017-02-27 with total page 510 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book focuses on automotive user interfaces for in-vehicle usage, looking at car electronics, its software of hidden technologies (e.g., ASP, ESP), comfort functions (e.g., navigation, communication, entertainment) and driver assistance (e.g., distance checking). The increased complexity of automotive user interfaces, driven by the need for using consumer electronic devices in cars as well as autonomous driving, has sparked a plethora of new research within this field of study. Covering a broad spectrum of detailed topics, the authors of this edited volume offer an outstanding overview of the current state of the art; providing deep insights into usability and user experience, interaction techniques and technologies as well as methods, tools and its applications, exploring the increasing importance of Human-Computer-Interaction (HCI) within the automotive industry Automotive User Interfaces is intended as an authoritative and valuable resource for professional practitioners and researchers alike, as well as computer science and engineering students who are interested in automotive interfaces.

Download or read book Model Driven Architecture Foundations and Applications written by David Akehurst and published by Springer. This book was released on 2007-06-27 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations and Applications, ECMDA-FA 2007, held in Haifa, Israel in June 2007. The papers address all current issues of model-driven architecture, including foundational topics and application–oriented issues.

Download or read book Automotive Systems and Software Engineering written by Yanja Dajsuren and published by Springer. This book was released on 2019-07-17 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the state of the art, challenges and future trends in automotive software engineering. The amount of automotive software has grown from just a few lines of code in the 1970s to millions of lines in today’s cars. And this trend seems destined to continue in the years to come, considering all the innovations in electric/hybrid, autonomous, and connected cars. Yet there are also concerns related to onboard software, such as security, robustness, and trust. This book covers all essential aspects of the field. After a general introduction to the topic, it addresses automotive software development, automotive software reuse, E/E architectures and safety, C-ITS and security, and future trends. The specific topics discussed include requirements engineering for embedded software systems, tools and methods used in the automotive industry, software product lines, architectural frameworks, various related ISO standards, functional safety and safety cases, cooperative intelligent transportation systems, autonomous vehicles, and security and privacy issues. The intended audience includes researchers from academia who want to learn what the fundamental challenges are and how they are being tackled in the industry, and practitioners looking for cutting-edge academic findings. Although the book is not written as lecture notes, it can also be used in advanced master’s-level courses on software and system engineering. The book also includes a number of case studies that can be used for student projects.

Download or read book Model Based Engineering of Embedded Real Time Systems written by Holger Giese and published by Springer Science & Business Media. This book was released on 2010-10-06 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.

Download or read book Computer Safety Reliability and Security written by Francesca Saglietti and published by Springer Science & Business Media. This book was released on 2007-09-12 with total page 561 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007. The 33 revised full papers and 16 short papers are organized in topical sections on safety cases, impact of security on safety, fault tree analysis, safety analysis, security aspects, verification and validation, platform reliability, reliability evaluation, formal methods, static code analysis, safety-related architectures.