Filters








35,276 Hits in 8.0 sec

A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis
2019 ACM Computing Surveys  
This survey provides an overview of the scientiic literature on timing veriication techniques for multi-core real-time systems.  ...  The survey highlights the key issues involved in providing guarantees of timing correctness for multi-core systems.  ...  ACKNOWLEDGMENTS The authors would like to thank Sophie Quinton for the interesting discussions that were the origin of this paper and Leandro Indrusiak for interesting discussions on the state-of-the-art  ... 
doi:10.1145/3323212 fatcat:mn6xmduiyjfgzhemn5s2lmfgje

A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project $$EMC^2$$ [chapter]

Haris Isakovic, Radu Grosu, Denise Ratasich, Jiri Kadlec, Zdenek Pohl, Steve Kerrison, Kyriakos Georgiou, Kerstin Eder, Norbert Druml, Lillian Tadros, Flemming Christensen, Emilie Wheatley (+3 others)
2017 Lecture Notes in Computer Science  
In the sandbox world of cyber-physical systems and internetof-things a number of applications is only eclipsed by a number of products that provide solutions for specific problem or set of problems.  ...  It also provides a short overview of several technologies explored in the project that provide bridging solutions for these problems.  ...  A switch from single-core processors to multi-core processors for safety critical or real-time applications is an uphill battle.  ... 
doi:10.1007/978-3-319-66284-8_12 fatcat:6u7actbbcbgwna37sit2rcuhqq

Towards Customizable CPS: Composability, Efficiency and Predictability [chapter]

Wang Yi
2017 Lecture Notes in Computer Science  
theory of multi-resource (inc. multiprocessor) scheduling, and (3) New-generation techniques and tools for fully separated verification of timing and functional properties of real-time systems with significantly  ...  We present research directions to address these challenges: (1) Open architectures and implementation schemes for building composable systems, (2) Fundamental issues in real-time scheduling aiming at a  ...  Expressiveness vs. analysis efficiency For a survey on real-time workload models, see e.g. [25, 36] .  ... 
doi:10.1007/978-3-319-68690-5_1 fatcat:wwfoniwr2zayfcvigxggfaed2a

Early Timing Analysis of Vehicular Systems: the Road from Single-core to Multi-core

Alessio Bucaioni
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In this paper we present a PhD work defining a model-based software development methodology which supports early timing analysis for vehicular embedded systems on multi-core.  ...  On the other hand, multi-core platforms complicate the software development of vehicular embedded systems as timing predictability is still an open issues for these platforms.  ...  We thank our industrial partners Arcticus Systems AB and Volvo CE, Sweden.  ... 
dblp:conf/models/Bucaioni16 fatcat:pzzzz5kcnzaj3mhlygr44rhv7e

Energy Efficient Computing Systems: Architectures, Abstractions and Modeling to Techniques and Standards [article]

Rajeev Muralidhar and Renata Borovica-Gajic and Rajkumar Buyya
2020 arXiv   pre-print
parallelism (ILP) and the end of Dennard's scaling drove the industry towards multi-core chips.  ...  This survey aims to bring these domains together and is composed of a systematic categorization of key aspects of building energy efficient systems - (a) specification - the ability to precisely specify  ...  : Given a set of techniques for energy efficiency, this involves modeling/simulating the functionality/technique of the component or set of components, and run real workloads (or traces of a real workload  ... 
arXiv:2007.09976v2 fatcat:enrfj2qgerhyteapwykxcb5pni

An efficient software verification using multi-layered software verification tool

S V. Gayetri Devi, C Nalini, N Kumar
2018 International Journal of Engineering & Technology  
The primary objective of this survey is retrospective review of different tools and methods used for the verification of real-time concurrent software.  ...  A concurrent program has multiple processes and shared objects. Each process is a sequential program and they use the shared objects for communication for completion of a task.  ...  Literature review of different verification tools for concurrent programs This segment presents a detailed literature survey on the Static and Dynamic software verification.  ... 
doi:10.14419/ijet.v7i2.21.12465 fatcat:ulnklsmke5ejjj3augoep7zauq

Understanding Multidimensional Verification: Where Functional Meets Non-Functional

Xinhui Lai, Aneesh Balakrishnan, Thomas Lange, Maksim Jenihhin, Tara Ghasempouri, Jaan Raik, Dan Alexandrescu
2019 Microprocessors and microsystems  
The contributions of this paper are a taxonomy for multidimensional hardware verification aspects, a state-of-the-art survey of related research works and trends enabling the multidimensional verification  ...  Advancements in electronic systems' design have a notable impact on design verification technologies.  ...  Acknowledgments This research was supported in part by projects H2020 MSCA ITN RESCUE funded from the EU H2020 programme under the MSC grant agreement no. 722325 , by the Estonian Ministry of Education  ... 
doi:10.1016/j.micpro.2019.102867 fatcat:fep3q5wlmnafdoh2jjlfheauwq

Going mobile: the next horizon for multi-million gate designs in the semi-conductor industry

C. Berthet
2002 Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)  
In this paper, t he problematic of multi-million gate design is illustrated from the viewpoint of a practical development of a complex digital system done at STMicroelectronics for a GSM/GPRS cellular  ...  The complexity of a System-on-Chip design is not only in the million transistors packed in a square millimeter.  ...  The key factors of the software implementation are essentially the real-time behavior (in particular for OS, drivers, interrupt handlers, etc ..) and the performance of the processor and memory systems  ... 
doi:10.1109/dac.2002.1012653 fatcat:haaqtwzvxbdmlpupitcauofj6y

A Review on System-on-Chip SoC Designs for Real-Time Industrial Application

Mr. Abhijit Patil, Mr. A. A. Shirolkar
2017 International Journal of Trend in Scientific Research and Development  
A system-on-a-chip (SoC) is a microchip with all the necessary electronic circuits and parts for a given system, such as a Smartphone or wearable computer, on a single integrated circuit (IC).  ...  Now-a-days System-on-a-chip (SoC) technology is used in small, increasingly complex consumer electronic devices.  ...  This paper presents a survey of Implementing Real Time Systems for industrial automation applications.  ... 
doi:10.31142/ijtsrd7077 fatcat:xyka2agb2rff5c47g64zff4bdy

Going mobile

Christian Berthet
2002 Proceedings - Design Automation Conference  
In this paper, t he problematic of multi-million gate design is illustrated from the viewpoint of a practical development of a complex digital system done at STMicroelectronics for a GSM/GPRS cellular  ...  The complexity of a System-on-Chip design is not only in the million transistors packed in a square millimeter.  ...  The key factors of the software implementation are essentially the real-time behavior (in particular for OS, drivers, interrupt handlers, etc ..) and the performance of the processor and memory systems  ... 
doi:10.1145/514014.514015 fatcat:dd535xjebbbrpmvhb4oezufv6a

Going mobile

Christian Berthet
2002 Proceedings - Design Automation Conference  
In this paper, t he problematic of multi-million gate design is illustrated from the viewpoint of a practical development of a complex digital system done at STMicroelectronics for a GSM/GPRS cellular  ...  The complexity of a System-on-Chip design is not only in the million transistors packed in a square millimeter.  ...  The key factors of the software implementation are essentially the real-time behavior (in particular for OS, drivers, interrupt handlers, etc ..) and the performance of the processor and memory systems  ... 
doi:10.1145/513918.514015 dblp:conf/dac/Berthet02 fatcat:34wtigj4urhhrfruz6qniirk34

Towards Multidimensional Verification: Where Functional Meets Non-Functional

Maksim Jenihhin, Xinhui Lai, Tara Ghasempouri, Jaan Raik
2018 2018 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP and International Symposium of System-on-Chip (SoC)  
The contributions of this paper are a taxonomy for multidimensional hardware verification aspects, a state-of-the-art survey of related research works and trends towards the multidimensional verification  ...  Trends in advanced electronic systems' design have a notable impact on design verification technologies.  ...  ACKNOWLEDGMENTS We would like to acknowledge Apneet Kaur and Behrad Niazmand for their help with the case study analysis.  ... 
doi:10.1109/norchip.2018.8573495 dblp:conf/norchip/JenihhinLGR18 fatcat:lt2t2vxrtzdvpinchiv4z6rwam

Fault and timing analysis in critical multi-core systems: A survey with an avionics perspective

Andreas Löfwenmark, Simin Nadjm-Tehrani
2018 Journal of systems architecture  
Dark spots on the research map of the integration problem of hardware reliability and timing predictability for multi-core avionics systems are identified.  ...  Multi-core processors offer a potential that is promising, but they also suffer from two issues that are only recently being addressed in the safety-critical contexts: lack of methods for assuring timing  ...  Acknowledgments This work was supported by the Swedish Armed Forces, the Swedish Defence Materiel Administration and the Swedish Governmental Agency for Innovation Systems under grant nos.  ... 
doi:10.1016/j.sysarc.2018.04.001 fatcat:74tk5j6kyjfmxpufn3x7dph6ve

Taming the complexity of biological pathways through parallel computing

P. Ballarini, R. Guido, T. Mazza, D. Prandi
2008 Briefings in Bioinformatics  
His research interests are in formal techniques for systems' verification/ specification, probabilistic model-checking, stochastic Petri nets and temporal logic reasoning.  ...  Mathematical methods for modelling biological systems are mostly based on a centralised solution approach: the modelled system is described as a whole and the solution technique, normally the integration  ...  Finally, we considered model checking, a wellestablished technique for the automatic verification of a model of a system which has, in recent times, attracted the attention of the systems biology research  ... 
doi:10.1093/bib/bbp020 pmid:19339382 fatcat:5yzyzsjbjvd2hb5rxufpg6hube

Front Matter: Volume 11448

Dirk Schmidt, Laura Schreiber, Elise Vernet
2021 Adaptive Optics Systems VII  
A unique citation identifier (CID) number is assigned to each article at the time of publication.  ...  using a Base 36 numbering system employing both numerals and letters.  ...  FOR ELTs 11448 14 Real-time control (RTC) systems and hardware considerations for next generation adaptive optics (AO) RTC (Invited Paper) [11448-41] 11448 15 Hard real-time core software of the  ... 
doi:10.1117/12.2591718 fatcat:ki3ijeiwc5b2bbbaisqt65kqhi
« Previous Showing results 1 — 15 out of 35,276 results