49 Hits in 4.0 sec

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts [chapter]

Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He
2013 Lecture Notes in Computer Science  
However, in practice, it is difficult to predict when a deadline is violated, because a task missing its deadline may be caused by unrelated tasks or by the presence of interrupts.  ...  We are able to determine schedulability properties and to calculate constraints on the allowed time that interrupts can take for a given task in a given period.  ...  Acknowledgments The majority of the work reported in this paper was done while Yanhong Huang was a visiting researcher at Teesside University (funded by the Teesside University Research Fund).  ... 
doi:10.1007/978-3-642-41202-8_12 fatcat:p2kx4y6s25g4doqkvojfqnzttm

An Approach for Building Security Resilience in AUTOSAR Based Safety Critical Systems

Ahmad MK Nasser, Di Ma, Priya Muralidharan
2017 Journal of Cyber Security and Mobility  
Increasing the security resilience of AUTOSAR based systems is a crucial step in securing safety critical automotive systems.  ...  And we evaluate the overlap in the properties of safety mechanisms with security objectives to highlight methods for hardening automotive systems security.  ...  By monitoring the execution time of tasks and Category 2 ISRs, AUTOSAR OS aims to detect timing errors before they can lead to tasks missing their deadlines.  ... 
doi:10.13052/jcsm2245-1439.633 fatcat:rxthcak4izdadpxtr5bevgezo4

Achieving Determinism in Adaptive AUTOSAR [article]

Christian Menard, Andres Goens, Marten Lohstroh, Jeronimo Castrillon
2019 arXiv   pre-print
In this paper, we analyze the problem of nondeterminism in AP and propose a framework for the design of deterministic automotive software that transparently integrates with the AP communication mechanisms  ...  We illustrate our approach in a case study based on the brake assistant demonstrator application that is provided by the AUTOSAR consortium.  ...  Lee for his feedback on an earlier version of this paper. This work was supported in part by the KMU-innovativ project EM-RAM funded by German Federal Ministry of Education and Research (BMBF).  ... 
arXiv:1912.01367v2 fatcat:7on6qqkkdfabtera2kjzhhgpe4

On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms

Thorsten Piper, Stefan Winter, Neeraj Suri, Thomas E. Fuhrman
2015 2015 11th European Dependable Computing Conference (EDCC)  
Unfortunately, the representation of timing faults using standard fault models, and the representation of real-time properties in simulation environments are hard, rendering both inadequate for the comprehensive  ...  The actual development of ISO 26262 advocated FI is further hampered by the lack of representative software fault models and the lack of an openly accessible AUTOSAR FI framework.  ...  Our analysis of actual AUTOSAR OS code has shown that the situation is further complicated by the extensive use of macros throughout the OS for performance reasons.  ... 
doi:10.1109/edcc.2015.14 dblp:conf/edcc/PiperWSF15 fatcat:l6zkxxw5crgjvjlxuhubpfslpy

OSEK-Like Kernel Support for Engine Control Applications under EDF Scheduling

Vincenzo Apuzzo, Alessandro Biondi, Giorgio Buttazzo
2016 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)  
Engine control applications typically include computational activities consisting of periodic tasks, activated by timers, and engine-triggered tasks, activated at specific angular positions of the crankshaft  ...  Such tasks are typically managed by a OSEK-compliant real-time kernel using a fixed-priority scheduler, as specified in the AUTOSAR standard adopted by most automotive industries.  ...  ACKNOWLEDGEMENTS The authors like to thank Paolo Gai from Evidence S.R.L. and Maurizio Menegotto from Lauterbach Italia for their support which helped to improve this work.  ... 
doi:10.1109/rtas.2016.7461345 dblp:conf/rtas/ApuzzoBB16 fatcat:x6jntkly5bcjlfg7addu2mav7q

The Aspect-Aware Design and Implementation of the CiAO Operating-System Family [chapter]

Daniel Lohmann, Olaf Spinczyk, Wanja Hofer, Wolfgang Schröder-Preikschat
2012 Lecture Notes in Computer Science  
CiAO implements the automotive operating-system standard OSEK/AUTOSAR OS and provides configurability of all fundamental system properties by means of AOP.  ...  On the example of three larger case studies from CiAO, we demonstrate how AOP can be employed in this respect on different levels of complexity: From highly configurable, yet efficient low-level hardware  ...  We would like to thank the anonymous reviewers of this paper for their helpful and detailed feedback!  ... 
doi:10.1007/978-3-642-35551-6_5 fatcat:63wpolz53bfvbnawn3hntv5n2y

Towards an Open Source Framework for Small Engine Controls Development

Paolo Gai, Francesco Esposito, Riccardo Schiavi, Marco Di Natale, Claudio Diglio, Michele Pagano, Carlo Camicia, Luca Carmignani
2014 SAE International Journal of Passenger Cars - Electronic and Electrical Systems  
task implementation; an OSEK/AUTOSAR operating system and device driver stack; OS and I/O configuration tools.  ...  In this paper we describe the experience matured in the application development, the benefits and current limitations of the approach.  ...  (mainly for the implementation of periodic tasks).  ... 
doi:10.4271/2014-32-0070 fatcat:s6oqlw3hhnaahkfezptvfkfo5i

Cross-Kernel Control-Flow--Graph Analysis for Event-Driven Real-Time Systems

Christian Dietrich, Martin Hoffmann, Daniel Lohmann
2015 Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15  
In this paper, we present an approach that incorporates the RTOS semantics into the control-flow analysis, to cross the applicationkernel boundary.  ...  An automated generation of OS state assertions on the expected system behavior, targeting transient hardware fault tolerance, leverages significant robustness improvements.  ...  In total, the scenario consists of eleven tasks, three periodic interrupts (alarms), one sporadic interrupt, and one resource. The first analysis step emits 91 ABBs, and 53 system-call blocks.  ... 
doi:10.1145/2670529.2754963 dblp:conf/lctrts/0001HL15 fatcat:xj7vui2hgzdizit5gw3krq355u

Boomerang: Real-Time I/O Meets Legacy Systems [article]

Ahmad Golchin, Soham Sinha, Richard West
2020 arXiv   pre-print
Additionally, timing-critical tasks are isolated from less critical tasks by securely partitioning machine resources among the separate OSes.  ...  A relatively small RTOS benefits from the pre-existing libraries, drivers and services of the legacy system.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the NSF.  ... 
arXiv:1908.06807v2 fatcat:myfd3uqcqrd57hbjvxviasd4d4

D2.1: Modelling Requirements for System's and Interface Specifications

2021 Zenodo  
Based on the results of Task T1.1 – Pilot Trials Specifications & Assessment Protocol, which targets analysis and specification of functional and non-functional requirements for the industrial validators  ...  Finally, in Chapter 6, the data flow of the XANDAR process is described by presenting the existing interfaces of the aforementioned modelling tools.  ...  In the example above, the Task "InputProcessing" has a response time that violates the deadline by about 660µs.  ... 
doi:10.5281/zenodo.6539461 fatcat:ciojvukdnjafjc36yuhgqhq6um

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies

Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey, Marc Herbstritt
2018 Euromicro Conference on Real-Time Systems  
This technology transfer led to the creation and sustaining of a large number of high technology jobs over a 20 year period.  ...  The final case study involved the direct transfer of research results into an engineering company.  ...  (The code size of RTA-OS is typically in the range 1 Kbytes to 1.5 Kbytes depending on the processor -making it, to the best of our knowledge, world's smallest commercial AUTOSAR OS. 4 This has reduced  ... 
doi:10.4230/lipics.ecrts.2018.7 dblp:conf/ecrts/DavisBBBBCHT18 fatcat:jfcgg6g7xffhnbtpty5jtmsb3u

Learning early-stage platform dimensioning from late-stage timing verification

K. Richter, M. Jersak, R. Ernst
2009 2009 Design, Automation & Test in Europe Conference & Exhibition  
Therefore, OEMs and Tier-1 are in search of new methods, processes, and timing analysis techniques that assist in early platform design stages.  ...  Finally, we also outline future challenges in the area of multi-core ECUs. I.  ...  Clearly, the same flow can be expected in aerospace, multi-media, etc.  ... 
doi:10.1109/date.2009.5090781 dblp:conf/date/RichterJE09 fatcat:3cvnncfdhnhadnwp4y2nofuofa

How OEMs and Suppliers can face the Network Integration Challenges

K. Richter, R. Ernst
2006 Proceedings of the Design Automation & Test in Europe Conference  
Systematic analysis of the complex integration effects, especially with respect to timing and performance, significantly improves the design process, enables optimizations, and increases the quality and  ...  Systems integration is a major challenge in many industries.  ...  and preemptive tasks as well as hardware interrupts, and can be adjusted to specific project requirements and system mechanisms.  ... 
doi:10.1109/date.2006.243871 dblp:conf/date/RichterE06 fatcat:x7jq5a6wkfgq3ndttzb656zk6m

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation

Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens
2013 Leibniz Transactions on Embedded Systems  
More precisely, we consider deterministic functional specifications provided (as often in an industrial setting) by means of synchronous data-flow models with multiple modes and multiple relative periods  ...  Our objective is to facilitate the development of complex time-triggered systems by automating the allocation and scheduling steps.  ...  In particular, our model covers time-triggered communication infrastructures such as TTA and FlexRay (static and dynamic segments) [29, 44] , the periodic schedule tables of AUTOSAR OS [5] , as well  ... 
doi:10.4230/lites-v002-i002-a001 dblp:journals/lites/CarlePSL15 fatcat:7c2bz23n7rg6nguukkfatyhqpy

Communication Centric Design in Complex Automotive Embedded Systems

Arne Hamann, Dakshina Dasari, Simon Kramer, Michael Pressler, Falk Wurst, Marc Herbstritt
2017 Euromicro Conference on Real-Time Systems  
In this work, we give an overview of communication semantics used in the automotive industry and the different constraints to be considered in the design process.  ...  However, existing timing analysis methods generally only support very basic communication models that need to be extended to handle the analysis of industry grade problems which involve more complex communication  ...  The first step of the model transformation is to add highest priority interrupts for each periodic task in the system.  ... 
doi:10.4230/lipics.ecrts.2017.10 dblp:conf/ecrts/HamannD0PW17 fatcat:2jaolw253naprn3fzr57wvksae
« Previous Showing results 1 — 15 out of 49 results