Filters








39,569 Hits in 5.2 sec

Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems

Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/x5uwpbdsencsdhvhuklwktaocy" style="color: black;">2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing</a> </i> &nbsp;
, priority inversion, and protocols for protecting shared memory resources.  ...  In the verification of multitask software in embedded systems, general purpose model checkers do not inherently consider characteristics of the real time operating system, such as priority-based scheduling  ...  Ingham, and Mihai Florian for thoughtful discussions on this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/prdc.2011.49">doi:10.1109/prdc.2011.49</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/prdc/McKelvinGH11.html">dblp:conf/prdc/McKelvinGH11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zqfydndzdvff7lue5ozyv7f5si">fatcat:zqfydndzdvff7lue5ozyv7f5si</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180820165132/http://spinroot.com:80/gerard/pdf/prdc2011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/16/5a164d02529d7c69ee352025948080adba28519d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/prdc.2011.49"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Editorial

Twan Basten, Rolf Ernst
<span title="2010-12-01">2010</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3yu4mbaainhw5gol4yayc35pfe" style="color: black;">ACM Transactions on Embedded Computing Systems</a> </i> &nbsp;
interaction between embedded systems and their users and environments.  ...  To obtain a reliable operation of embedded systems while maintaining resource efficiency, the embeddedsystem design process needs to be based on a solid basis of computational models.  ...  The papers develop model-checking and related formal verification techniques in a context of embedded systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1880050.1880051">doi:10.1145/1880050.1880051</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/duzi6rkzvzdf3mkh6ihftr6lr4">fatcat:duzi6rkzvzdf3mkh6ihftr6lr4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808222707/http://www.es.ele.tue.nl/~tbasten/papers/mdes_editorial.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/53/76/537647f57fae52e76d475325f2c02e8bab427833.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1880050.1880051"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems [chapter]

Hyun-Wook Jin, Junbeom Yoo
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects.  ...  In this paper, we aim to explore the design space of network protocol stacks for specialpurpose embedded systems.  ...  With respect to the formal verification of network protocol stacks, we have to consider two tasks: specification of protocol stacks and modeling of the system implementing the protocol.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-10265-3_22">doi:10.1007/978-3-642-10265-3_22</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ympjv5masrhhfdnsb56jeguxda">fatcat:ympjv5masrhhfdnsb56jeguxda</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150921170615/http://dl.ifip.org/db/conf/seus/seus2009/JinY09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d0/ad/d0ad82a3b0aa31247c4d236048049cfc9b3aad6a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-10265-3_22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Resource-Oriented Design Framework for Embedded System Components

Jin-Hyun Kim, Jae-Hwan Sim, Jin-Young Choi
<span title="">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
For the specification and verification of resource-oriented models, we use ACSR(Algebra of Communicating Shared Resource) and VERSA(Verification Execution and Rewrite System for ACSR).  ...  The former embedded system model describes embedded system behavior in terms of functionality, and the latter model specifies software behavior that is restricted by hardware resource constraints.  ...  In other words, the functionality of a system in an interaction of hardware and software is correct. ROM can be formally verified with the following verification property.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2008.06.027">doi:10.1016/j.entcs.2008.06.027</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d77mlndkrfhrfmwgwlytnektgm">fatcat:d77mlndkrfhrfmwgwlytnektgm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171004195738/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/e5a/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwODAwMzcwOA%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0e/dc/0edcdecf27455e3c3c127accddcd3666f552200e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2008.06.027"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

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

Yongwang Zhao
<span title="2016-07-10">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper presents an overview of formal specification and verification of separation kernels.  ...  The application of separation kernels in critical domain demands the correctness of the kernel by formal verification. To the best of our knowledge, there is no survey paper on this topic.  ...  The specification is rich in detail, making it suitable for formal verification of realistic and industrial systems. The specification and proofs have been formalized in Isabelle/HOL.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1508.07066v3">arXiv:1508.07066v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o6rltzjp4vf4jeifjddfbtmuv4">fatcat:o6rltzjp4vf4jeifjddfbtmuv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200825013653/https://arxiv.org/pdf/1508.07066v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/db/d5/dbd51acd7b598210302dcd242f26061c0844b6f4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1508.07066v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Embedded Systems Development Tools: A MODUS-oriented Market Overview

Michalis Loupis
<span title="2014-03-01">2014</span> <i title="Walter de Gruyter GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dgbyfatk75gfthywgmv7zz5jsa" style="color: black;">Business Systems Research</a> </i> &nbsp;
Results: This paper presents a MODUS-oriented market analysis in the domains of Formal Verification tools, HW/SW co-simulation tools, Software Performance Optimization tools and Code Generation tools.  ...  Objectives: The goal of the paper is to explore the versatility of the application in the embedded system development based on one FP7-SME project.  ...  Market Analysis of Relative Tools Model Verification Tools Formal verification in general is a process of verifying the correctness of a system with respect to the formal system specification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2478/bsrj-2014-0001">doi:10.2478/bsrj-2014-0001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x2yblzjbrrf2rh5bg3j76injuu">fatcat:x2yblzjbrrf2rh5bg3j76injuu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501121232/https://content.sciendo.com/downloadpdf/journals/bsrj/5/1/article-p6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4b/b5/4bb58de8345376ee4e136eeb41814448a45f90e5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2478/bsrj-2014-0001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Embedded computing - Formal methods in embedded design

S.D. Johnson
<span title="">2003</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dsrvu6bllzai7oj3hktnc5yf4q" style="color: black;">Computer</a> </i> &nbsp;
Integrated systems depend on shared resources-specifically, a common communication network.  ...  Hardware-like systems first Embedded systems that share qualities with hardware systems are the first candidates for use of formal methods. Deeply embedded control systems are one example.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mc.2003.1244539">doi:10.1109/mc.2003.1244539</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wctoe3stwrfttc6webv6usdd54">fatcat:wctoe3stwrfttc6webv6usdd54</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829010621/http://ziyang.eecs.umich.edu/~dickrp/esds-two-week/papers/johnson-embedded.pdf?origin=publication_detail" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/28/57/28576faa57b2917c2b284d6108b52cd78832c2d7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mc.2003.1244539"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Specific-domain Design Tool for FPGA-based Image and Video Processing System

Noureddine Zhar, Mohamed Ait Ali, Mohsine Eleuldj, Amine Raji
<span title="2012-10-20">2012</span> <i title="Foundation of Computer Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/b637noqf3vhmhjevdfk3h5pdsu" style="color: black;">International Journal of Computer Applications</a> </i> &nbsp;
It also allows formal verification and automatic code generation for ASIC and FPGA implementation.  ...  A hardware implementation of these algorithms for the needs of real-time and embedded systems improves performances.  ...  It offers three views covering different aspects of an image processing system: An architectural view, a computational view and a scheduling and resource sharing view.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/8935-3070">doi:10.5120/8935-3070</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xkoq23txozgdnlbyueuaec7ggi">fatcat:xkoq23txozgdnlbyueuaec7ggi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180602213309/https://research.ijcaonline.org/volume56/number11/pxc3883070.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c7/3e/c73ec2c6eccbe7dbf0dab5cdc0df1d2a3447b77d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/8935-3070"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Short Historical Survey of Functional Hardware Languages

Gang Chen
<span title="">2012</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/siq6pwags5fifiwy3y6i4iwgdy" style="color: black;">ISRN Electronics</a> </i> &nbsp;
This short historical survey is about functional languages specifically created for hardware design and verification.  ...  Functional programming languages offer a high degree of abstractions and clean semantics, which are desirable for hardware descriptions.  ...  Acknowledgment The author grateful to his wife Ping Hu for her support and patience. Thanks are due to Mary Sheeran for his insightful remarks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5402/2012/271836">doi:10.5402/2012/271836</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n2iml6tnnzhzbcjyuslsmdpy64">fatcat:n2iml6tnnzhzbcjyuslsmdpy64</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150908153414/http://www.cerc.utexas.edu:80/~jay/fv_surveys/271836.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/38/7d/387dbcc0a6f8f47dd4bad43f046362492d574361.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5402/2012/271836"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

AADL and model-based engineering

Peter H. Feiler
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dq2nkmeoqjc5bmcalsv7wxzfgq" style="color: black;">Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT &#39;14</a> </i> &nbsp;
the data needed, and completing and reviewing the collection of information.  ...  Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to a penalty for failing to comply with a collection of information if it does not display a currently  ...  , distribution Virtualization of time & resources • Logical vs. physical redundancy • Time stamping of data & asynchronous systems Inconsistent System States & Interactions • Modal systems with  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2663171.2663174">doi:10.1145/2663171.2663174</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigada/Feiler14.html">dblp:conf/sigada/Feiler14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mddvd4nlurh65o6zopy5jrziay">fatcat:mddvd4nlurh65o6zopy5jrziay</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170304200937/http://www.dtic.mil/dtic/tr/fulltext/u2/a613948.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b4/0a/b40a2ec56fe1c58011fa887e167a2025c01f8573.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2663171.2663174"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Lessons Learned [chapter]

Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
<span title="">2019</span> <i title="Springer International Publishing"> Managed Software Evolution </i> &nbsp;
Potentially wrong usage behaviour might transition into a pattern that is of interest and relevant for a new feature or functionality of an application.  ...  The lessons learned while investigating new methods and techniques for knowledgecarrying software in SPP 1593 are summarised below.  ...  However, implementing and maintaining such shared case studies require significant effort and resources.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-13499-0_13">doi:10.1007/978-3-030-13499-0_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2hqg6g3qazdcblioqmn5gklv4i">fatcat:2hqg6g3qazdcblioqmn5gklv4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200510121102/https://link.springer.com/content/pdf/10.1007%2F978-3-030-13499-0_13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/e0/77e09ae7191ba1a4ccb97d9f182beda58c69100a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-13499-0_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Advances in Quantitative Verification for Ubiquitous Computing [chapter]

Marta Kwiatkowska
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Formal specification specification specification specification System System System System Validation Validation Validation Validation Verification Verification Verification Verification  ...  : systems have to adapt to changing requirements in predictable fashion • Communities of agents: need to model cooperation, competition and resource sharing, necessitating game-theoretic approaches  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-39718-9_3">doi:10.1007/978-3-642-39718-9_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/emkb7jqcurg37nhkdyeel6icma">fatcat:emkb7jqcurg37nhkdyeel6icma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706040959/http://qav.comlab.ox.ac.uk/talks/marta-ictac13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a3/c5/a3c53adb9ad81c02a3cb38275d57d123a7ea3ff8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-39718-9_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Formal Verification Integration Approach for DSML [chapter]

Faiez Zalila, Xavier Crégut, Marc Pantel
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The application of formal methods (especially, model checking and static analysis techniques) for the verification of safety critical embedded systems has produced very good results and raised the interest  ...  More precisely, we propose a language to formally express system requirements and interpret verification results so that system designers (DSML end-users) avoid the burden of learning some formal verification  ...  Fiacre is a formal language to represent both the behavioral and timing aspects of systems, in particular embedded and distributed systems, for formal verification and simulation purposes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-41533-3_21">doi:10.1007/978-3-642-41533-3_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vy54v5aor5buzdwscum24qfqeq">fatcat:vy54v5aor5buzdwscum24qfqeq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924201243/https://hal.archives-ouvertes.fr/hal-00994413/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5b/d0/5bd05744cc1672fe901ba5d6fb7d488489bdd779.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-41533-3_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A high assurance virtualization platform for ARMv8

Christoph Baumann, Mats Naslund, Christian Gehrmann, Oliver Schwarz, Hans Thorsen
<span title="">2016</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mzifbc6d25dh5k3g7ix2yfybuq" style="color: black;">2016 European Conference on Networks and Communications (EuCNC)</a> </i> &nbsp;
Formal verification at machine code level guarantees information isolation between different guest systems (e.g. OSs) running on the platform.  ...  To use the platform in networking scenarios, we allow guest systems to securely communicate with each other via platform-provided communication channels and to take exclusive control of peripherals for  ...  Parts of the verification work are supported by a framework grant from the Swedish Foundation for Strategic Research.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/eucnc.2016.7561034">doi:10.1109/eucnc.2016.7561034</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/eucnc/BaumannNGST16.html">dblp:conf/eucnc/BaumannNGST16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ntvwca4gefb4tbreqetcyxuj5u">fatcat:ntvwca4gefb4tbreqetcyxuj5u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921221533/http://ri.diva-portal.org/smash/get/diva2:1043655/FULLTEXT01" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/34/66/346696b7eb5ec9814b78d827046ae4ea7788d7d0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/eucnc.2016.7561034"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Intelligent Custom Block Generation

Michael F. Dossis
<span title="">2014</span> <i title="Horizon Research Publishing Co., Ltd."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/46kwywy775dcvow6j4p2qx6pbu" style="color: black;">Universal Journal of Electrical and Electronic Engineering</a> </i> &nbsp;
The contribution of this work is a formal and intelligent HLS synthesis and rapid verification methodology with custom options, which re-uses and incorporates the generation of predesigned custom hardware  ...  The usability of the proposed methodology is confirmed with a number of HLS benchmarks including a hierarchical RSA crypto-processor design and a line-drawing algorithm from computer graphics.  ...  Acknowledgements This work was partially supported by the TEI of Western Macedonia, Greece.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.13189/ujeee.2014.020203">doi:10.13189/ujeee.2014.020203</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/73z4hwmfqrha3k6bkhogtjzzwu">fatcat:73z4hwmfqrha3k6bkhogtjzzwu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812144902/http://www.hrpub.org/download/20140105/UJEEE3-14901557.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a7/e4/a7e4f199ebed677c7fd279da0aa8548afdef5cbe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.13189/ujeee.2014.020203"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 39,569 results