928 Hits in 7.4 sec

A model-based approach to innovation management of automotive control systems

Mario Gleirscher, Andreas Vogelsang, Steffen Fuhrmann
2014 2014 IEEE 8th International Workshop on Software Product Management (IWSPM)  
To the best of our knowledge, this is the first approach to using such models for managing feature and platform innovations in an automotive company.  ...  Innovation management of automotive control systems is a challenging issue not least because of the need to handle short iterative life cycles and families of these systems.  ...  We thank all our project partners, particularly, Jakob Huemer and Mariana Just, for providing us valuable insights into their challenging engineering tasks and their organization.  ... 
doi:10.1109/iwspm.2014.6891062 dblp:conf/re/GleirscherVF14 fatcat:64ravn2rozdjbfu7n6eab5mxze

Evaluation of Open Source Operating Systems for Safety-Critical Applications [chapter]

Petter Sainio Berntsson, Lars Strandén, Fredrik Warg
2017 Lecture Notes in Computer Science  
Therefore, in this thesis we present identified important characteristics that can be used for comparing the suitability of open source based real-time operating systems for use in safety-critical applications  ...  There are many different open source real-time operating systems available and the use of open source software for safety-critical applications is considered highly interesting by industries such as medical  ...  For safety functions considered to be of SIL 1 and SIL 2 it is recommended to use semi-formal methods and for SIL 3 they are highly recommended.  ... 
doi:10.1007/978-3-319-65948-0_8 fatcat:kc7i3p7jzvdszejzl7p2ka2mku

Towards a Framework for Certification of Reliable Autonomous Systems [article]

Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2020 arXiv   pre-print
However, regulators grapple with how to deal with autonomous systems, for example how could we certify an Unmanned Aerial System for autonomous use in civilian airspace?  ...  The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life.  ...  Work of Fisher supported by the Royal Academy of Engineering and, in part, through UKRI "Robots for a Safer World" Hubs EP/R026092, EP/R026084, and EP/R026173.  ... 
arXiv:2001.09124v1 fatcat:ocmnn2ugzfeatfc56ucwgz2aku

Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation

James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd
2016 Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering  
We aim to facilitate semi-automated collaborative distributed development, commissioning, operation and maintenance using formal behavioural models.  ...  We are interested in a whole-of-system context, where properties of the physical systems increasingly depend explicitly on software configuration, thus requiring validation.  ...  Hence we are not using formal methods for the articulation and satisfaction of deployment constraints, but as a means of capturing properties of the system in a way which will allow regular reconfiguration  ... 
doi:10.5220/0005928303630369 dblp:conf/enase/HarlandBPT16 fatcat:mthazhv635hsvnukmoxsegwsc4

Addressing Challenges in Automotive Connectivity: Mobile Devices, Technologies, and the Connected Car

Patrick Shelly
2015 SAE International Journal of Passenger Cars - Electronic and Electrical Systems  
This paper explores the options available for updating and extending the software capability of a vehicle's infotainment system while addressing the lifecycle mismatch between automobiles and consumer  ...  If the connected car is to succeed there has to be a secure and accessible method to update the software in a vehicle's infotainment system -as well as a real or perceived way to graft in new software  ...  Although he has abandoned his native Detroit for the green fields of Portland, Oregon, his interest and knowledge of the American automotive industry remains intact. All rights reserved.  ... 
doi:10.4271/2015-01-0224 fatcat:jmpjoe32l5b3tbek73koujszeq

Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262 [article]

Rick Salay, Krzysztof Czarnecki
2018 arXiv   pre-print
The use of machine learning (ML) is on the rise in many sectors of software development, and automotive software development is no different.  ...  In this report, we take steps to address this conflict by doing a detailed assessment and adaption of ISO 26262 for ML, specifically in the context of supervised learning.  ...  Our hope is that bringing these issues and ideas together in a cohesive exposition will help to identify gaps, research opportunities and possible solutions for the safe use of ML.  ... 
arXiv:1808.01614v1 fatcat:x4kmbhyjczax7kizww4angrgcu

Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems

Leo Freitas, William E. Scott, Patrick Degenaar
2020 Science of Computer Programming  
A key challenge is how to achieve a successful interaction between verification tasks using formal methods and system development tasks within engineering teams without prior knowledge of formal techniques  ...  This paper is not about a general technique for medical automation, as we do not believe this is practical/possible given the varied/dynamic nature of medical problems.  ...  For their real and significant patience and care, we are immensely grateful.  ... 
doi:10.1016/j.scico.2020.102545 fatcat:jq6j6umyafg7bk7simxmwmaxru

Autonomous Systems Design—A Virtual Roundtable

Rolf Ernst, Xiaobo Sharon Hu
2021 Computer  
Let us start with your vision for ASs. Who would like to start? J Ü RG E N BO RTO L A ZZ I : The potential benefits of automated driving functions are undoubted: 1) safer traffic  ...  T he quest for autonomous systems that can selfadapt to system dynamics has been around for some time, but it is now gaining momentum with the progress of artificial intelligence (AI).  ...  However, due to the complexity of the operating domain and appropriate use cases, processes, methods, and tools have to be installed to allow for the detection of corner cases, the gathering of related  ... 
doi:10.1109/mc.2021.3101914 fatcat:al4qufhqpfcrhfjpzm7qvnu5km


Markus Voelter, Daniel Ratiu, Bernhard Schaetz, Bernd Kolb
2012 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12  
In this paper we present the mbeddr technology stack that supports extension of C with constructs adequate for embedded systems.  ...  While the C programming language provides very good support for writing efficient, low-level code, it does not offer adequate means for defining higher-level abstractions relevant to embedded software.  ...  Acknowledgements We thank Marcel Matzat and Bernhard Merkle for their work on mbeddr. This work has been developed as part of the LWES project, supported by the German BMBF, FKZ 01/S11014.  ... 
doi:10.1145/2384716.2384767 dblp:conf/oopsla/VoelterRSK12 fatcat:fbytwpmsdvcxvbpzueewpd6jky

Handling index-out-of-bounds in safety-critical embedded C code using model-based development

Gunter Blache
2018 Journal of Software and Systems Modeling  
Embedded C code for safety critical systems faces some substantial challenges: like every other embedded SW code it must be efficient in terms of code size, data size and execution time, but it must also  ...  The C language does not specify the behaviour in such cases, which clearly violates the requirements for safe code.  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecomm, which permits unrestricted use, distribution  ... 
doi:10.1007/s10270-018-0697-y fatcat:surdghyjtfectpoajs7alfgtwa

An opportunity for convergence? Understanding the prevalence and risk of distracted driving through the use of crash databases, crash investigations, and other approaches

Linda S Angell
2014 Annals of advances in automotive medicine. Association for the Advancement of Automotive Medicine. Annual Scientific Conference  
A variety of methodologies for understanding the prevalence of distracted driving, its risk, and other aspects of driver secondary activity, have been used in the last 15 years.  ...  This paper reviews several of the non-naturalistic methods.  ...  using a formal coding method (Gosling et al., 1998 and others) .  ... 
pmid:24776226 pmcid:PMC4001669 fatcat:wcneazpjlvhpdke4kuf4wgyj6e

Extreme reuse: the only future any code can afford

Thomas Hoberg
2021 Zenodo  
It is for this reason that finding cheap replicable countermeasures is one of the highest priorities for any vendor or government trying to create value from information technology today.  ...  The efforts to contain that risk can't really be bigger than the value gained by expanding the reach of IoT.  ...  SPARK [8] was defined as a formally verified subset of ADA for use in flight or train control systems, where formal proof methods were required for verifiably safe operation, much smaller bodies of code  ... 
doi:10.5281/zenodo.4719689 fatcat:epsewlhmdzf2zdifqxxvikdrku

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*

Alberto Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone
2012 European Journal of Control  
Contracts are formalizations of the conditions for correctness of element integration (horizontal contracts), for lower level of abstraction to be consistent with the higher ones, and for abstractions  ...  In many cases, the cyber component controls the physical side using sensors and actuators that observe the physical system and actuate the controls.  ...  Use-case analysis methods as advocated for UML based development process follow the same objective.  ... 
doi:10.3166/ejc.18.217-238 fatcat:ctauiyrt3zadbkqowjkuvpntvu

Institutional and cultural barriers to transferring Lean production to China: Evidence from a German automotive components manufacturer

Angelika Zimmermann, Marc Fabian Bollbach
2015 Asian Business & Management  
After the fieldwork phase, all interviews were transcribed and coded in NVivo (QSR) software, using the codes developed during the fieldwork.  ...  Setting The automotive industry provides a particularly useful setting for examining barriers to the transfer of Lean, and their associations with the country context.  ... 
doi:10.1057/abm.2014.18 fatcat:5mtgysnownh7tejnach7qz3lae

Next Generation Robotics [article]

Henrik I Christensen, Allison Okamura, Maja Mataric, Vijay Kumar, Greg Hager, Howie Choset
2016 arXiv   pre-print
This report sets forth a perspective of progress in robotics over the past five years, and provides a set of recommendations for the future.  ...  While not directly aligned with the NRI, these road-mapping documents have provided both a useful charting of the robotics research space, as well as a metric by which to measure progress.  ...  Acknowledgement The CCC support for this study is gratefully acknowledged.  ... 
arXiv:1606.09205v1 fatcat:b3fr4im2prd6pd3sdfybumv2xy
« Previous Showing results 1 — 15 out of 928 results