Filters








137 Hits in 7.7 sec

Mixed-Trust Computing for Real-Time Systems

D. de Niz, B. Andersson, M. Klein, J. Lehoczky, A. Vasudevan, H. Kim, G. Moreno
2019 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)  
The untrusted part allows complex computations supported by a full OS with a realtime scheduler running in a VM hosted by a trusted hypervisor.  ...  We present the framework design and implementation along with the schedulability analysis and the coordination protocol between the trusted and untrusted parts.  ...  We are not aware of any work on a mixedcriticality scheduler that considers our task model and uses a formally verified HV.  ... 
doi:10.1109/rtcsa.2019.8864566 dblp:conf/rtcsa/NizAKLVKM19 fatcat:vwajglot7nffndrs55fja2beim

A survey on formal specification and verification of separation kernels [article]

Yongwang Zhao
2016 arXiv   pre-print
This paper presents an overview of formal specification and verification of separation kernels.  ...  Separation kernels are fundamental software of safety and security-critical systems, which provide to their hosted applications spatial and temporal separation as well as controlled information flows among  ...  separation using a non-preemptive scheduler and the messaging system.  ... 
arXiv:1508.07066v3 fatcat:o6rltzjp4vf4jeifjddfbtmuv4

High-Assurance Separation Kernels: A Survey on Formal Methods [article]

Yongwang Zhao, David Sanan, Fuyuan Zhang, Yang Liu
2017 arXiv   pre-print
In accordance with the analytical framework, a comprehensive analysis and discussion of related work are presented.  ...  Finally, four challenges and their possible technical directions for future research are identified, e.g. specification bottleneck, multicore and concurrency, and automation of full formal verification  ...  Partitioning kernels specialize and enhance the temporal and spatial separation with a static table-driven scheduling approach [Ramamritham and Stankovic 1994] and static resource allocation for partitions  ... 
arXiv:1701.01535v1 fatcat:wivlgaqkmffc5nb2kalmpy77sy

Architectural and Operating System Support for Virtual Memory

Abhishek Bhattacharjee, Daniel Lustig
2017 Synthesis Lectures on Computer Architecture  
We thank her for her support in pursuing our research endeavors. We also thank the many collaborators with whom we have explored various topics pertaining to virtual memory.  ...  A special thanks to Mike Morgan for his support of this book.  ...  THE VIRTUAL MEMORY ABSTRACTION 2. THE VIRTUAL MEMORY ABSTRACTION 2. THE VIRTUAL MEMORY ABSTRACTION 2. THE VIRTUAL MEMORY ABSTRACTION 2. THE VIRTUAL MEMORY ABSTRACTION 2.  ... 
doi:10.2200/s00795ed1v01y201708cac042 fatcat:4re5afn53jhu7ezxwtb25ja3ca

A unified execution model for multiple computation models of streaming applications on a composable MPSoC

Ashkan Beyranvand Nejad, Anca Molnos, Kees Goossens
2013 Journal of systems architecture  
In this paper we propose a unified model of execution that aims to fill the abstraction level gap between the primitives of models of computation and the ones of an MPSoC.  ...  We implement these models of computation with the model of execution, and discuss the trade-offs involved.  ...  Consequently, the task scheduler cannot interface with the hardware interrupts, and therefore, it cannot implement preemptive scheduling policies.  ... 
doi:10.1016/j.sysarc.2013.07.006 fatcat:wjj22fdihzdv7m3tarup7p4ohq

Challenge benchmarks for verification of real-time programs

Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
2010 Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification - PLPV '10  
But, our main contribution is a family of programs, called CDx, which we present as an open source benchmark for the verification community.  ...  Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic consequences.  ...  Emphasis is placed on using periodic event handlers instead of threads, with preemptive, priority based scheduling.  ... 
doi:10.1145/1707790.1707800 dblp:conf/plpv/KaliberaPHLV10 fatcat:exw44v56fbhkdcu7nhof74b6ca

The Weaves Reconfigurable Programming Framework [article]

Srinidhi Varadarajan
2002 arXiv   pre-print
The Weaves framework supports multiple independent components in a single process, with flexible state sharing and scheduling, all of which is achieved without requiring any modification to existing code  ...  Weaves also include support for fast automatic checkpointing and recovery with no application support.  ...  Preemptive scheduling switches between strings of different equivalence classes.  ... 
arXiv:cs/0210031v1 fatcat:gjaeqmuofbaznepitxj264ewtm

Message from the Program Chairs

2006 2006 IEEE International Conference on Web Services (ICWS'06)  
This algorithm has been available via a MatLab forum for a number of years; however, this is the first time it has been formally published.  ...  Abstract-In this paper we present a simulation-based analysis to infer the fault resilience of real-time systems.  ...  ACKNOWLEDGMENTS The authors would like to thank Enrico Bini for his contribution to discussions about the applicability of the UUniFast algorithm to the multiprocessor case.  ... 
doi:10.1109/icws.2006.90 dblp:conf/icws/X06a fatcat:bq447df4qzfsboa7pcpu7lcjty

A survey on standards for real-time distribution middleware

Héctor Pérez, J. Javier Gutiérrez
2014 ACM Computing Surveys  
to ensure determinism-for example, thread and network message scheduling, the assignment of scheduling parameters, or the use of synchronization protocols for a predictable access to shared resources.  ...  The JavaSpaces specification presents a high-level abstraction for building distributed applications and so it relies on low-level communication middleware such as RMI.  ...  ACKNOWLEDGMENTS The authors want to thank the anonymous reviewers for their many detailed comments that have allowed the article to be enhanced significantly.  ... 
doi:10.1145/2532636 fatcat:gjgkut7szzbkxnuxrkfvqmq2km

Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures

Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran, Noura Bouzid, Laurent Lemarchand, Michael Wagner
2019 Euromicro Conference on Real-Time Systems  
Acknowledgements The authors would like to thank the anonymous reviewers of the paper at CERTS and internal reviewers at SYSGO for their valuable feedback.  ...  System model and assumptions We assume a RTCS consisting of tasks scheduled by a preemptive fixed priority scheduler.  ...  We assume a single processor execution platform, on which all the tasks are placed in the same partition. The task set is synchronous and scheduled by preemptive fixed priority scheduler.  ... 
doi:10.4230/oasics.certs.2019.1 dblp:conf/ecrts/AtchadamSTBL19 fatcat:5jglkqo3tjg35grf2riw2wtzl4

Towards Predictable Real-Time Performance on Multi-Core Platforms [article]

Hyoseung Kim
2016 arXiv   pre-print
A key requirement of such systems is the need to provide predictable real-time performance: the timing correctness of the system should be analyzable at design time with a quantitative metric and guaranteed  ...  at runtime with high assurance.  ...  The Table 8 . 1 : 81 Comparison with previous work Priority VCPU Bounded Enforced Task Unmodified Schemes based temporal interrupt interrupt schedulability guest OS scheduling isolation  ... 
arXiv:1607.08578v1 fatcat:2ndmimzpxbehzlntoppabtusbq

Floor control for multimedia conferencing and collaboration

Hans-Peter Dommel, J.J. Garcia-Luna-Aceves
1997 Multimedia Systems  
A general framework for floor control is presented. Collaborative environments are characterized and the requirements for realization of floor control will be identified.  ...  Based upon a brief taxonomy of collaboration-relevant parameters, system design issues for floor control are discussed.  ...  Finally, collaborative virtual reality (VR) tools [28] create a literal need for spatial floor control of virtual objects, next to collision control.  ... 
doi:10.1007/s005300050040 fatcat:uawclq7wszerhkszyoxjek5qpi

Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization

Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosén, Petru Eles, Zebo Peng
2014 Foundations and Trends® in Electronic Design Automation  
} else { x++; } } } m4 The properties verified are temporal logic properties, which constrain ordering of specific events in program executions.  ...  This is due to virtual loop unrolling. The bus analysis described in 3.2.4 solves this problem by aligning loop iterations with bus schedules.  ...  ity with respect to different pipeline structures, cache sizes and the presence of speculative execution.  ... 
doi:10.1561/1000000037 fatcat:r6mishcfabevvjuoq5k7rdzsfu

Software Performance Engineering using Virtual Time Program Execution

Nikolaos Baltas, Anthony Field, Paul Kelly
2014
We explore these ideas using a Virtual EXecution (VEX) framework, which provides performance predictions for multi-threaded applications.  ...  We conclude this thesis with a case study that shows how models and code can be integrated, thus illustrating our vision on how virtual time execution can support performance testing throughout the soft  ...  A schedule that generates the expected order of our isolated environment, when executing a program in virtual time is defined as a correct virtual schedule.  ... 
doi:10.25560/12681 fatcat:6d3voxdc7zfkzpbrhzktv5axgy

A secure isolation of software activities in tiny scale systems

Oliver Stecklina
2015 2015 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshops)  
The lack of resource isolation makes tiny scale systems prone for accidental errors but in particular vulnerable for a broad variety of malicious software.  ...  The thesis introduces a security platform for tiny scale systems that enforces an isolation of software components considering security aspects.  ...  Event-driven OSs can be implemented with a sole stack, which reduces memory consumption and simplifies task handling. Tasks are non-preemptive and are scheduled by the OS.  ... 
doi:10.1109/percomw.2015.7134037 dblp:conf/percom/Stecklina15 fatcat:exjpv5kxrzgczimh2rwjabeere
« Previous Showing results 1 — 15 out of 137 results