Internet Archive Scholar
Filters
























1,458 Hits in 11.3 sec

Virtualizing mixed-criticality systems: A survey on industrial trends and issues

Marcello Cinque, Domenico Cotroneo, Luigi De Simone, Stefano Rosiello
2021 Future generations computer systems  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (499.2 kB)
https://web.archive.org/web/20211215031059/https://arxiv.org/pdf/2112.06875v1.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:

2021 pre-print arXiv:2112.06875v1 fatcat:4wbdbs6ixvcnlb4g5inlwzaj7i
This work surveys the state-of-the-practice of real-time virtualization technologies by discussing common issues in the industry.  ...  Virtualization is gaining attraction in the industry as it promises a flexible way to integrate, manage, and re-use heterogeneous software components with mixed-criticality levels, on a shared hardware  ...  The seL4 [70, 71] is a formal-verified microkernel designed to be used in security-and safety-critical systems.  ... 
doi:10.1016/j.future.2021.12.002 fatcat:4q277etxfjewlpmkjcn7by42pm
Multiple Versions
Citation

Marcello Cinque, Domenico Cotroneo, Luigi De Simone, Stefano Rosiello. "Virtualizing mixed-criticality systems: A survey on industrial trends and issues." Future generations computer systems (2021)

Analysis and test of the effects of single event upsets affecting the configuration memory of SRAM-based FPGAs

Luca Cassano
2014 2014 International Test Conference  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.9 MB)
https://web.archive.org/web/20170921232549/https://etd.adm.unipi.it/theses/available/etd-05082013-110242/unrestricted/TesiCassano.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

Finally the comparison between fault coverages obtained by test patterns generated for the accurate model of SEUs and the fault coverages obtained by test pattern designed for stuck-at faults, shows that  ...  In this thesis we propose a set of software tools that could be used by designers of SRAM-based FPGA safety-critical applications to assess the sensitivity to SEUs of the system and to generate test patterns  ...  Time gap: For timing analysis the critical path of both ASIC and FPGA designs was considered.  ... 
doi:10.1109/test.2014.7035366 dblp:conf/itc/Cassano14 fatcat:ykg7k6finnhwpk7j6zsbtlwfkq
Citation

Luca Cassano. "Analysis and test of the effects of single event upsets affecting the configuration memory of SRAM-based FPGAs." 2014 International Test Conference (2014) 1-10

Energy Efficient and Fault Tolerant Multicore Wireless Sensor Network: E²MWSN

Hong-Ling Shi, Kun Mean Hou, Hai-Ying Zhou, Xing Liu
2011 2011 7th International Conference on Wireless Communications, Networking and Mobile Computing  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (4.5 MB)
https://web.archive.org/web/20170705185432/https://tel.archives-ouvertes.fr/tel-00968069/document/

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

Mean time between critical failures The mean time between critical failures (MTBCF) of a system is the average time between critical failures of the system.  ...  The WSN can serve as an interface to the real world and fulfill the gap between real world and information systems.  ...  The FSMOS is separated into a number of logical modules each provides a set of APIs accessible for the user.  System services provide common functions for all layers, which are necessary for normal stack  ... 
doi:10.1109/wicom.2011.6040317 fatcat:b6qehpnmxjd35go7ycy5v5ru5y
Citation

Hong-Ling Shi, Kun Mean Hou, Hai-Ying Zhou, Xing Liu. "Energy Efficient and Fault Tolerant Multicore Wireless Sensor Network: E²MWSN." 2011 7th International Conference on Wireless Communications, Networking and Mobile Computing (2011)

A comparison of software and hardware techniques for x86 virtualization

Keith Adams, Ole Agesen
2006 SIGARCH Computer Architecture News  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (162.5 kB)
https://web.archive.org/web/20170809044450/http://courses.cs.vt.edu/~cs5204/fall08-kafura/Papers/Virtualization/VMware-Techniques-for-x86.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

Until recently, the x86 architecture has not permitted classical trap-and-emulate virtualization.  ...  Virtual Machine Monitors for x86, such as VMware R Workstation and Virtual PC, have instead used binary translation of the guest kernel code.  ...  Special thanks to Jim Mattson for significant contributions to the hardware VMM. General thanks to the dozens of members of VMware's VMM group since 1998.  ... 
doi:10.1145/1168919.1168860 fatcat:3zfojsbisvaejmtuzgyxk6heei
Citation

Keith Adams, Ole Agesen. "A comparison of software and hardware techniques for x86 virtualization." SIGARCH Computer Architecture News 34.5 (2006)

A comparison of software and hardware techniques for x86 virtualization

Keith Adams, Ole Agesen
2006 ACM SIGOPS Operating Systems Review  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (162.5 kB)
https://web.archive.org/web/20170809044450/http://courses.cs.vt.edu/~cs5204/fall08-kafura/Papers/Virtualization/VMware-Techniques-for-x86.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

Until recently, the x86 architecture has not permitted classical trap-and-emulate virtualization.  ...  Virtual Machine Monitors for x86, such as VMware R Workstation and Virtual PC, have instead used binary translation of the guest kernel code.  ...  Special thanks to Jim Mattson for significant contributions to the hardware VMM. General thanks to the dozens of members of VMware's VMM group since 1998.  ... 
doi:10.1145/1168917.1168860 fatcat:r4adwx7udrbo5f43d5qobvz4mm
Citation

Keith Adams, Ole Agesen. "A comparison of software and hardware techniques for x86 virtualization." ACM SIGOPS Operating Systems Review 40.5 (2006)

A comparison of software and hardware techniques for x86 virtualization

Keith Adams, Ole Agesen
2006 Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (162.5 kB)
https://web.archive.org/web/20170809044450/http://courses.cs.vt.edu/~cs5204/fall08-kafura/Papers/Virtualization/VMware-Techniques-for-x86.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

Until recently, the x86 architecture has not permitted classical trap-and-emulate virtualization.  ...  Virtual Machine Monitors for x86, such as VMware R Workstation and Virtual PC, have instead used binary translation of the guest kernel code.  ...  Special thanks to Jim Mattson for significant contributions to the hardware VMM. General thanks to the dozens of members of VMware's VMM group since 1998.  ... 
doi:10.1145/1168857.1168860 dblp:conf/asplos/AdamsA06 fatcat:ehz2gj3ivzgfvprvnshck76sti
Citation

Keith Adams, Ole Agesen. "A comparison of software and hardware techniques for x86 virtualization." Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII (2006) 2-13

A comparison of software and hardware techniques for x86 virtualization

Keith Adams, Ole Agesen
2006 SIGPLAN notices  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (162.5 kB)
https://web.archive.org/web/20170809044450/http://courses.cs.vt.edu/~cs5204/fall08-kafura/Papers/Virtualization/VMware-Techniques-for-x86.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

Until recently, the x86 architecture has not permitted classical trap-and-emulate virtualization.  ...  Virtual Machine Monitors for x86, such as VMware R Workstation and Virtual PC, have instead used binary translation of the guest kernel code.  ...  Special thanks to Jim Mattson for significant contributions to the hardware VMM. General thanks to the dozens of members of VMware's VMM group since 1998.  ... 
doi:10.1145/1168918.1168860 fatcat:vaeyhd4ccvdkbhbq3ogjclown4
Citation

Keith Adams, Ole Agesen. "A comparison of software and hardware techniques for x86 virtualization." SIGPLAN notices 41.11 (2006)

Evaluation and Validation [chapter]

Peter Marwedel
2021 Embedded Systems  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.7 MB)
https://web.archive.org/web/20210429005300/https://link.springer.com/content/pdf/10.1007%2F978-3-030-60910-8_5.pdf?error=cookies_not_supported&code=5d5dfc95-131b-42e4-9327-57b4f11d6d83

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

This is the purpose of validations and evaluations which must be performed during the design process.  ...  This chapter starts with a presentation of techniques for the evaluation of (partial) designs with respect to objectives.  ...  According to M c Gregor, "Bridging the credibility gap is not the only reason for a growing interest in emulation -the above definition of an emulation model remains valid when turned around -an emulation  ... 
doi:10.1007/978-3-030-60910-8_5 fatcat:2ig4kpnbdzbfla7r2p3favqjoy
Open Access
Citation

Peter Marwedel. "Evaluation and Validation." Embedded Systems (2021) 239-293

A survey of evaluation platforms for ad hoc routing protocols: A resilience perspective

Jesús Friginal, David de Andrés, Juan-Carlos Ruiz, Miquel Martínez
2014 Computer Networks  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (192.0 kB)
https://web.archive.org/web/20180723001210/https://riunet.upv.es/bitstream/handle/10251/49041/Computer%20Networks%20-%20Autor.pdf;jsessionid=59FC9A6E9390F006E95B7CE6590B926E?sequence=3

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL. The file type is application/pdf.

Acknowledgements This work is partially supported by the Spanish project ARENES (TIN2012-38308-C02-01), the ANR French project AMORES (ANR-11-INSE-010), and the Intel Doctoral Student Honour Programme  ...  The gap between simulated and experimental results may lead to differences between the behaviour of the simulated network and that of the real one.  ...  We claim that more platforms are necessary to cover the gap between the ad hoc networks we are able to design and implement, and the confident service they are able to deliver.  ... 
doi:10.1016/j.comnet.2014.09.010 fatcat:btliobjt2jcupe37k7wtrlgcqe
Citation

Jesús Friginal, David de Andrés, Juan-Carlos Ruiz, Miquel Martínez. "A survey of evaluation platforms for ad hoc routing protocols: A resilience perspective." Computer Networks (2014) 395-413

Zero-maintenance of electronic systems: Perspectives, challenges, and opportunities

Richard McWilliam, Samir Khan, Michael Farnsworth, Colin Bell
2018 Microelectronics and reliability  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (855.8 kB)
https://web.archive.org/web/20200306074237/https://radar.brookes.ac.uk/radar/file/eda72ab6-f395-43c8-bd07-688ce6685f8b/1/fulltext.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

Design techniques are critically reviewed to clarify the role of fault coverage, resource allocation and fault awareness, set in the context of existing and emerging printable/nanoscale manufacturing processes  ...  The analysis presents new opportunities to form a view on the research required for a successful integration of zero-maintenance. Finally, the potential cost benefits and future trends are enumerated.  ...  Fault events cause serious consequences for safety critical systems and often require costly fault-finding and maintenance.  ... 
doi:10.1016/j.microrel.2018.04.001 fatcat:bjr3ynhgs5eirdu3yitgnfh3mm
Citation

Richard McWilliam, Samir Khan, Michael Farnsworth, Colin Bell. "Zero-maintenance of electronic systems: Perspectives, challenges, and opportunities." Microelectronics and reliability (2018) 122-139

Design and Validation Process of In-Vehicle Embedded Electronic Systems [chapter]

YeQiong Song, Françoise Simonot-Lion
2005 Embedded Systems Handbook  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (655.2 kB)
https://web.archive.org/web/20090824055235/http://hal.archives-ouvertes.fr:80/docs/00/04/44/96/PDF/Chap40-IncarEmbSys-150604-all.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL. The file type is application/pdf.

For example, we can cite brake-by-wire, steer-by-wire, that will be shortly integrated in cars for the implementation of critical and safety relevant functions.  ...  In order to ensure dependability and fault tolerance for critical applications, the time-triggered operating system OSEKtime [11] was proposed.  ... 
doi:10.1201/9781420038163.sec6 fatcat:tdr3aerzqbavxmmua7am4rhquq
Citation

YeQiong Song, Françoise Simonot-Lion. "Design and Validation Process of In-Vehicle Embedded Electronic Systems." Embedded Systems Handbook (2005)

Design and Validation Process of In-Vehicle Embedded Electronic Systems [chapter]

YeQiong Song, Françoise Simonot-Lion
2005 Embedded Systems Handbook  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (655.2 kB)
https://web.archive.org/web/20090824055235/http://hal.archives-ouvertes.fr:80/docs/00/04/44/96/PDF/Chap40-IncarEmbSys-150604-all.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL. The file type is application/pdf.

For example, we can cite brake-by-wire, steer-by-wire, that will be shortly integrated in cars for the implementation of critical and safety relevant functions.  ...  In order to ensure dependability and fault tolerance for critical applications, the time-triggered operating system OSEKtime [11] was proposed.  ... 
doi:10.1201/9781420038163.ch41 fatcat:7gi2kppqrjaevja44tqqeahrra
Citation

YeQiong Song, Françoise Simonot-Lion. "Design and Validation Process of In-Vehicle Embedded Electronic Systems." Embedded Systems Handbook (2005) 41-1-41-23

New Fault Injection Approach for Network on Chip

Tapas Patel
2013 IOSR Journal of Electronics and Communication Engineering  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (3.8 MB)
https://web.archive.org/web/20130916122827/http://iosrjournals.org/iosr-jece/full-issue/vol5-issue2.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL. The file type is application/pdf.

The developed environment allows to inject a faults into a NoC architecture by acting through the FPGA's configuration memory.  ...  The typical NoC design is based on the data exchange between the functional IP cores in the form of data packets.  ...  BW of MSA can also be increased by cutting a resonant slot inside the patch or by using multi resonator gap coupled and stacked configurations [2] .  ... 
doi:10.9790/2834-0520106 fatcat:snatuoexlzd7bedziejtum6npe
Citation

Tapas Patel. "New Fault Injection Approach for Network on Chip." IOSR Journal of Electronics and Communication Engineering 5.2 (2013) 1-6

Optimization of AUTOSAR Communication Stack in the Context of Advanced Driver Assistance Systems

Răzvan Bogdan, Mihaela Crișan-Vida, Darius Barmayoun, Loredana Lavinia Staicu, Robert Valentin Puiu, Mădălina Lup, Marius Marcu
2021 Sensors  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (8.0 MB)
https://web.archive.org/web/20210712225931/https://res.mdpi.com/d_attachment/sensors/sensors-21-04561/article_deploy/sensors-21-04561-v2.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

New trends in the automotive industry such as autonomous driving and Car2X require a large amount of data to be exchanged between different devices.  ...  The radar sensor is accessed in a remote manner, and the experiments aimed at performance measurements revealed that our solution is superior to the Full AUTOSAR implementation in terms of memory usage  ...  Acknowledgments: This work was supported by a grant from the Romanian Ministry of Research, Innovation, and Digitization, project number POC/398/1-Development of networks of R&D centers,  ... 
doi:10.3390/s21134561 fatcat:ptxofujsxzaszpzfv3ulinorqu
DOAJ
Citation

Răzvan Bogdan, Mihaela Crișan-Vida, Darius Barmayoun, Loredana Lavinia Staicu, Robert Valentin Puiu, Mădălina Lup, Marius Marcu. "Optimization of AUTOSAR Communication Stack in the Context of Advanced Driver Assistance Systems." Sensors 21.13 (2021) 4561

Authenticated encryption for time-sensitive critical infrastructure

Daniel Hunter, Jack Parry, Kenneth Radke, Colin Fidge
2017 Proceedings of the Australasian Computer Science Week Multiconference on - ACSW '17  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (401.7 kB)
https://web.archive.org/web/20181101213437/https://eprints.qut.edu.au/112156/1/encryption-for-critical-infrastructure.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL. The file type is application/pdf.

Our results provide the first detailed analysis of the time taken to encrypt, transmit, and decrypt a critical infrastructure protocol using a stream cipher in a realistic physical environment.  ...  Furthermore, in safety-critical systems data confidentiality is not the only information security concern. Data integrity must be preserved as well.  ...  The authors wish to thank Mufeed ALMashrafi and Kenneth Wong for advice on stream ciphers.  ... 
doi:10.1145/3014812.3014832 dblp:conf/acsw/HunterPRF17 fatcat:xbh45pokxjhlfe72ziydlozvya
Citation

Daniel Hunter, Jack Parry, Kenneth Radke, Colin Fidge. "Authenticated encryption for time-sensitive critical infrastructure." Proceedings of the Australasian Computer Science Week Multiconference on - ACSW '17 (2017) 19:1-19:10

« Previous Showing results 1 — 15 out of 1,458 results