{"title":"Software Systems Engineering with Model-Based Design","authors":"C. Davey, J. Friedman","doi":"10.1109/SEAS.2007.9","DOIUrl":"https://doi.org/10.1109/SEAS.2007.9","url":null,"abstract":"Further, automotive software systems engineers must deliver features that cross multiple domains (body, chassis, powertrain, multimedia, driver assistance, personalization, and human machine interfaces) and reside on a distributed network of modules. These vehicle systems are also delivered through the cooperation of many automotive and non-automotive suppliers based in various geographic locations, which poses a significant project management challenge to the software systems engineering team. In addition to managing the initial project, the software systems engineer must also explicitly design for and support the re-use of stand-alone software features, mechatronic subsystems and entire vehicle-level, electronic-control-system electrical architectures. Finally, the traditional automotive software systems engineering lifecycle has expanded to include processes, methods, tools, and infrastructure (PMTI) that must integrate across all phases and domains of the technology innovation and product delivery- maintenance-disposal lifecycle.","PeriodicalId":280408,"journal":{"name":"Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122614051","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
H. Kopetz, Roman Obermaisser, C. El Salloum, B. Huber
{"title":"Automotive Software Development for a Multi-Core System-on-a-Chip","authors":"H. Kopetz, Roman Obermaisser, C. El Salloum, B. Huber","doi":"10.1109/SEAS.2007.2","DOIUrl":"https://doi.org/10.1109/SEAS.2007.2","url":null,"abstract":"There are many economic and technical arguments for the reduction of the number of Electronic Control Units (EC Us) aboard a car. One of the key obstacles to achieve this goal is the limited composability, fault isolation and error containment of today's single- processor architectures. However, significant changes in the chip architecture are taking place in order to manage the synchronization, energy dissipation, and fault-handling requirements of emerging billion transistor SoCs (systems-on-a-chip). The single processor architecture is replaced by multi-core SoCs that communicate via networks-on-chip (NoC). These emerging multi-core SoCs provide an ideal execution environment for the integration of multiple automotive ECUs into a single SoC This paper presents a model-based software development method for designing applications using these multi-core SoCs.","PeriodicalId":280408,"journal":{"name":"Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07)","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126736126","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
T. Bauer, T. Beletski, F. Bohr, R. Eschbach, D. Landmann, J. Poore
{"title":"From Requirements to Statistical Testing of Embedded Systems","authors":"T. Bauer, T. Beletski, F. Bohr, R. Eschbach, D. Landmann, J. Poore","doi":"10.1109/SEAS.2007.5","DOIUrl":"https://doi.org/10.1109/SEAS.2007.5","url":null,"abstract":"This paper presents the results of a research project where the combination of techniques of sequence-based requirements specification and model- based statistical testing has been applied to a real mirror control unit of a car door for reliability estimations. A complete chain from a requirements document to a statistical test report with a very high degree of automation is demonstrated. A practical solution for reliability analysis of embedded systems in a realistic industrial setup is proposed.","PeriodicalId":280408,"journal":{"name":"Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07)","volume":"290 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133633010","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Using Models to Improve the Availability of Automotive Software Architectures","authors":"C. Shelton, C. Martin","doi":"10.1109/SEAS.2007.11","DOIUrl":"https://doi.org/10.1109/SEAS.2007.11","url":null,"abstract":"This paper presents an initial model for evaluating and improving the availability of a software architecture design. The model is implemented as a reasoning framework in the ArchE architecture expert system developed jointly with the Software Engineering Institute. To ensure continuous availability many automotive electronic control units (ECUs) employ an external watchdog running on a separate CPU to monitor the software running on the ECU. If the ECU has a failure that causes interruption of its functionality, the watchdog can detect this and reset the ECU to restore correct operation. The availability model can automatically evaluate the effectiveness of a watchdog design in the software architecture and can propose improvements to achieve better availability before implementation decisions are made. The model enables a quantitative analysis of system availability that can better guide software architecture and dependability design decisions and potentially reduce implementation and testing effort.","PeriodicalId":280408,"journal":{"name":"Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07)","volume":"234 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134010500","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL)","authors":"A. Naderlinger, J. Pletzer, W. Pree, J. Templ","doi":"10.1109/SEAS.2007.8","DOIUrl":"https://doi.org/10.1109/SEAS.2007.8","url":null,"abstract":"This paper argues that a logical specification of the timing behavior, which represents the core abstraction of the Timing Definition Language (TDL), is the key to significantly reduce the development, maintenance and integration costs of FlexRay-based systems. We measured a productivity gain by a factor of 20 and more with TDL compared to state-of-the-art FlexRay development methods and tools (see Section 1). We illustrate how TDL allows the platform-independent modeling of the timing and functional behavior, and how we accomplish the automatic platform mapping. An outlook sketches future research activities.","PeriodicalId":280408,"journal":{"name":"Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07)","volume":"943 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113981888","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
V. Ermagan, I. Krueger, M. Menarini, J.-i. Mizutani, K. Oguchi, D. Weir
{"title":"Towards Model-Based Failure-Management for Automotive Software","authors":"V. Ermagan, I. Krueger, M. Menarini, J.-i. Mizutani, K. Oguchi, D. Weir","doi":"10.1109/SEAS.2007.10","DOIUrl":"https://doi.org/10.1109/SEAS.2007.10","url":null,"abstract":"Failure management is a particular challenge problem in the automotive domain. Today's cars host a network of 30 to 80 electronic control units (ECUs), distributed over up to five interconnected in-car networks supporting hundreds to thousands of software- defined functions. This high degree of distribution of hard- and software components is a key contributor to the difficulty of failure management in vehicle. This paper addresses comprehensive failure management, starting from domain models for logical and deployment models of automotive software. These models capture interaction patterns as a critical part of both logical and deployment architectures, introducing failure detection and mitigation as \"wrapper\" services to \"unmanaged services\", i.e. services without failure management. We show how these models can be embedded into an interaction-centric development process, which captures failure management information across development phases. Finally, we exploit the failure management models to verify that a particular architecture meets its requirements under the stated failure hypothesis.","PeriodicalId":280408,"journal":{"name":"Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131376375","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"HMI generation for plug-in services from semantic descriptions","authors":"A. Hildisch, J. Steurer, R. Stolle","doi":"10.1109/SEAS.2007.6","DOIUrl":"https://doi.org/10.1109/SEAS.2007.6","url":null,"abstract":"We describe our implemented approach to automatically generating user interfaces (UIs) for dynamic services in the automotive domain. Dynamic services are services that are not known at design/deploy time of the HMI (human machine interaction) software of the automobile. Such services will increasingly find their way into the modern car: via mobile consumer electronics, via online servers, or via software download. In order for the driver to safely and comfortably interact with these services, their user interfaces need to be seamlessly integrated into the overall HMI system of the car and resemble the look and feel of the statically deployed HMI system. In the approach described in this paper, each service is accompanied by a description of its semantics, based on which a generic UI generator then automatically designs an appropriate UI and integrates it into the existing HMI system. We use OWL to formulate the domain-specific ontology of automotive infotainment services and OWLS to describe the service interfaces. In order to be able to express listener/notification semantics, we extended OWLS by several new constructs. Our results are based on our implementation of a UI generator for an automotive infotainment system, using the typical BMW Group HMI concepts.","PeriodicalId":280408,"journal":{"name":"Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125125739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An Incremental Approach to Task and Message Scheduling for AUTOSAR Based Distributed Automotive Applications","authors":"J. Pimentel","doi":"10.1109/SEAS.2007.1","DOIUrl":"https://doi.org/10.1109/SEAS.2007.1","url":null,"abstract":"An incremental message and task scheduling approach based on a time driven message schedule and priority driven task schedule is proposed. The hierarchical message and task scheduling methodology meets precedence, real-time, and deadline constraints. The global message system is supported by FlexCAN and the task scheduler system is supported by the AUTOSAR O.S. A detailed design example that includes a drive-by-wire application is used to illustrate the methodology.","PeriodicalId":280408,"journal":{"name":"Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07)","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124409230","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Making Decisions in Integration of Automotive Software and Electronics: A Method Based on ATAM and AHP","authors":"P. Wallin, J. Froberg, J. Axelsson","doi":"10.1109/SEAS.2007.7","DOIUrl":"https://doi.org/10.1109/SEAS.2007.7","url":null,"abstract":"In this paper we present a new method for making decisions on integration strategy for in-vehicle automotive systems. We describe the problem of choosing integration strategy and we describe the method, which is a combination of the Architecture Tradeoff Analysis Method, ATAM, and the Analytical Hierarchy Process, AHP. We exemplify the use of the proposed method by evaluating the integration decisions concerning the physical connection of a realistic example system; a computer controlled automatic gearbox. We present analysis on the use of the method and conclude that the method has several benefits compared to ATAM or AHP used individually. The method firstly supports a structured way of listing system goals, and secondly, it also supports the making of design decisions.","PeriodicalId":280408,"journal":{"name":"Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128084132","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}