Filters








27,791 Hits in 6.8 sec

Euro-Mils: Building And Certifying Modular Secure Systems

Sergey Tverdyshev
<span title="2015-01-20">2015</span> <i title="Zenodo"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2vqdbwpljnbcfm7funvunf2kam" style="color: black;">International Conference on High Performance Embedded Architectures and Compilers</a> </i> &nbsp;
EURO-MILS presentation on building and certifying modular secure systems  ...  On-going work on a base formal model for MILS system Ø Formalisation of the "MILS Architectural Template" Ø Separation kernel is a component Ø Express information flows on top of separation kernel  ...  ,, Security Audit Policy enforcing HW/drivers MILS/MLS Systems Integration System Integration Guidelines Domain: Avionics Domain: Automotive Assurance Common Criteria MILS Compositional  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.47972">doi:10.5281/zenodo.47972</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hipeac/Tverdyshev15.html">dblp:conf/hipeac/Tverdyshev15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/utacckg62jeobe6lpkzllamer4">fatcat:utacckg62jeobe6lpkzllamer4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201225172756/https://zenodo.org/record/47972/files/02-20150120-MILS-Workshop-EUROMILS.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/14/48/1448626e1247527f320cd67dc003a8aa3d0a471f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.47972"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

A high-assurance, virtual guard architecture

Mark R. Heckman, Roger R. Schell, Edwards E. Reed
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5fjspjtqujectfcv6khzqy3mvq" style="color: black;">MILCOM 2012 - 2012 IEEE Military Communications Conference</a> </i> &nbsp;
true high-assurance system.  ...  GEMSOS, A HIGH-ASSURANCE TCB The AVG is built on a high-assurance TCB -the COTS Gemini Secure Operating System (GEMSOS) [24] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/milcom.2012.6415677">doi:10.1109/milcom.2012.6415677</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/milcom/HeckmanSR12.html">dblp:conf/milcom/HeckmanSR12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/olgo6ex6ljazti7wnnvlhv7f4y">fatcat:olgo6ex6ljazti7wnnvlhv7f4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811001232/http://www.mrheckman.com/yahoo_site_admin/assets/docs/Aesec-MILCOM12-Guard-120809c-PREPUB.325182940.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/20/5a201f266b90d200d443961e40d18f1905e57019.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/milcom.2012.6415677"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

From multilevel security to multiple independent levels of security/safety: the evolution illustrated through a novel cross-domain architecture

Angelo Liguori
<span title="">2017</span> <i title="Inderscience Publishers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/k5o46enzlfbn7dkupi2ljtk2yi" style="color: black;">International Journal of Mobile Network Design and Innovation</a> </i> &nbsp;
A novel cross-domain solution is presented as the thread in-between the two approaches.  ...  The requirement to protect information characterised by a hierarchy of sensitivity levels led to the definition of multilevel security.  ...  SOFTGAP: a novel MILS cross-domain solution In the panorama of COTS cross-domain solutions, few companies started offering products based specifically on the SK concept.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/ijmndi.2017.082802">doi:10.1504/ijmndi.2017.082802</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jihunjqyr5fotmvsymol4j5u3e">fatcat:jihunjqyr5fotmvsymol4j5u3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180602233928/http://www.inderscience.com/storage/f121067892435111.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/fa/d5/fad571923f9c3e533dc8616dea0590be42b9d6f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/ijmndi.2017.082802"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Survey of Security Concepts for Common Operating Environments

Joseph Loyall, Kurt Rohloff, Partha Pal, Michael Atighetchi
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/icax7kbgefdxhgco4lvborrsqe" style="color: black;">2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops</a> </i> &nbsp;
We also discuss cross cutting aspects of security such as survivability, transparency, flexibility, specificity, reuse, and assurance.  ...  We then explore security standards and requirements for missioncritical systems developed on top of a SOA-based COE and security technologies that are candidates for satisfying the requirements.  ...  Guards are dedicated hardware devices that filter cross-domain traffic and enforce a set of specific rules governing cross-domain flows between two or more domains.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isorcw.2011.31">doi:10.1109/isorcw.2011.31</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/isorc/LoyallRPA11.html">dblp:conf/isorc/LoyallRPA11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oe4kughiu5g2bjhq7uyoqblply">fatcat:oe4kughiu5g2bjhq7uyoqblply</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812025618/https://ds.bbn.technology/papers/2011/WORNUS/Loyall-WORNUS-CameraReady-Paper1.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/b8/87/b88748c8947b86c79d308b6ecb9ed0b4258283cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isorcw.2011.31"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

XBot: A Cross-Robot Software Framework for Real-Time Control [chapter]

Luca Muratore, Arturo Laurenzi, Nikos G. Tsagarakis
<span title="2021-05-06">2021</span> <i title="IntechOpen"> Robotics Software Design and Engineering [Working Title] </i> &nbsp;
A key feature of the XBot is its cross-robot compatibility, which makes possible the use of the framework on different robots, without code modifications, based only on a set of configuration files.  ...  flexibility and abstraction features making it suitable for the control of robotic systems of diverse hardware embodiment and complexity.  ...  As a matter of fact, a robot can be considered a distributed system composed of a set of hardware devices communicating through a fieldbus.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/intechopen.97066">doi:10.5772/intechopen.97066</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zvizdpz7frgotgj6ncesh3wtzu">fatcat:zvizdpz7frgotgj6ncesh3wtzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210515204626/https://api.intechopen.com/chapter/pdf-download/76135.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/75/00/75001c6b70939850fdb59d147be53fbd75f1fe5e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/intechopen.97066"> <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>

A multi-level secure file sharing server and its application to a multi-level secure cloud

Mark R. Heckman, Roger R. Schell, Edwards E. Reed
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5fjspjtqujectfcv6khzqy3mvq" style="color: black;">MILCOM 2015 - 2015 IEEE Military Communications Conference</a> </i> &nbsp;
The file server is built on mature technology that was previously certified and deployed across domains from TS/SCI to Unclassified and that supports high-performance, low-to-high and high-to-low file  ...  This paper introduces a trusted, high-assurance file server and architecture that satisfies all three requirements.  ...  The GTNP incorporates the Gemini Multiprocessing Secure Operating System (GEMSOS) Trusted Computing Base (TCB), which contains the high-assurance, mandatory access controls used to enforce the MLS sharing  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/milcom.2015.7357613">doi:10.1109/milcom.2015.7357613</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/milcom/HeckmanSR15.html">dblp:conf/milcom/HeckmanSR15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x3sp7fumlfdrvnofpydmef3gam">fatcat:x3sp7fumlfdrvnofpydmef3gam</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170414165039/http://mrheckman.com/yahoo_site_admin/assets/docs/Aesec-MILCOM15-FileServer-151028-COPYRIGHT.300141512.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/e9/dd/e9dd10ed3e14094eb61ed95da81da48878dc1416.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/milcom.2015.7357613"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Applying Mils To Multicore Avionics Systems

Paul J. Parkinson
<span title="2016-01-19">2016</span> <i title="Zenodo"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2vqdbwpljnbcfm7funvunf2kam" style="color: black;">International Conference on High Performance Embedded Architectures and Compilers</a> </i> &nbsp;
Finally, the potential use of a MILS Multicore separation kernel in two use cases will be presented - a Cross-Domain System (CDS) network gateway, and a Multi-Level Secure (MLS) Integrated Modular Avionics  ...  This allows MILS-based systems to host applications and data of multiple security classifications concurrently on a uniprocessor platform at affordable cost.  ...  The author and Wind River Systems, Inc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.47978">doi:10.5281/zenodo.47978</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hipeac/Parkinson16.html">dblp:conf/hipeac/Parkinson16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g53mopdbl5cqrgrqxuklokcyzq">fatcat:g53mopdbl5cqrgrqxuklokcyzq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201222073050/https://zenodo.org/record/47978/files/09_EuroMILS2016_PaulParkinson_WindRiver_MILS_Multicore_paper_FINAL.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/ac/b1/acb1400e2440cebee637a3f9d006fba3c78c8a3b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.47978"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems [chapter]

Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Unlike practices in electrical and mechanical equipment engineering, Cyber-Physical Systems (CPS) do not have a set of standardized and harmonized practices for assurance and certification that ensures  ...  This paper presents a recent initiative called AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) to promote harmonization, reuse and automation  ...  Reuse Assistant (Cross/Intra-Domain).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-45480-1_25">doi:10.1007/978-3-319-45480-1_25</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7mds4xwzcna35pyonmfajpymuy">fatcat:7mds4xwzcna35pyonmfajpymuy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921210803/http://dsp.tecnalia.com/bitstream/handle/11556/311/AMASS_position_paper_camara_ready.pdf?sequence=1" 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/e2/71/e271372ccf1c666e0bbbb88317f3e8e7db235255.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-319-45480-1_25"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Engineering Sufficiently Secure Computing

Brian Witten
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c2syobe3wnconhocjx2ad2tkka" style="color: black;">Proceedings of the Computer Security Applications Conference</a> </i> &nbsp;
Then, within each strongly separated domain, risk can be measured as a function of people and technology within that domain.  ...  Formally proven properties of separation kernel based secure virtualization can bound risk for information in processing.  ...  Accelerating Evaluation Given that developing a formally verified high assurance system such as an ACL2 verified system or an Common Criteria Evaluated Assurance Level (EAL) 7 system is a slow process,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsac.2006.25">doi:10.1109/acsac.2006.25</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/acsac/Witten06.html">dblp:conf/acsac/Witten06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tclioh6qkna6vkuhzsflauh2sm">fatcat:tclioh6qkna6vkuhzsflauh2sm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811153713/https://www.acsac.org/2006/papers/witten-paper.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/46/51/465166f73877efab7e3392bc026624f5f307f4eb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsac.2006.25"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Full high-definition real-time depth estimation for three-dimensional video system

Hejian Li, Ping An, Zhaoyang Zhang
<span title="2014-09-24">2014</span> <i title="SPIE-Intl Soc Optical Eng"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wbcw6rldbvdddg6we6vhk2vvfm" style="color: black;">Optical Engineering: The Journal of SPIE</a> </i> &nbsp;
The system performs with high efficiency and stability by using a full pipeline design, multiresolution processing, synchronizers which avoid clock domain crossing problems, efficient memory management  ...  This paper presents a hardware implementation of a full high-definition (HD) depth estimation system that is capable of processing full HD resolution images with a maximum processing speed of 125 fps and  ...  Researches implement and evaluate variable efficient matching algorithms in order to get a high-performance depth estimation based on hardware design.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1117/1.oe.53.9.093108">doi:10.1117/1.oe.53.9.093108</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zqetra7yfjft5lwkrn4fxwkyz4">fatcat:zqetra7yfjft5lwkrn4fxwkyz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720165714/https://www.spiedigitallibrary.org/journals/Optical-Engineering/volume-53/issue-9/093108/Full-high-definition-real-time-depth-estimation-for-three-dimensional/10.1117/1.OE.53.9.093108.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/f1/78/f1786fe26d075d6fc107bc2601c9d5a09349417a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1117/1.oe.53.9.093108"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Increasing the trustworthiness of commodity hardware through software

Kevin Elphinstone, Yanyan Shen
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/64vpoz5fx5azda553iibjuf7h4" style="color: black;">2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)</a> </i> &nbsp;
Such an operating system could potentially consolidate safety and security critical software on a single device where previously multiple devices were used.  ...  A hardware fault triggered by cosmic rays, alpha particle strikes, etc. potentially invalidates the strong mathematical guarantees.  ...  We acknowledge that cross-checking replicas at the system call boundary is insufficient to guarantee the kernel enforces isolation between security domains.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsn.2013.6575328">doi:10.1109/dsn.2013.6575328</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dsn/ElphinstoneS13.html">dblp:conf/dsn/ElphinstoneS13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2uvav7y6h5djbipmlmgy7ip6jy">fatcat:2uvav7y6h5djbipmlmgy7ip6jy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140716075159/http://www.nicta.com.au/pub?doc=6840" 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/a4/cd/a4cde9d6ad1555d77f130ca53b62c4a8b77642b3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsn.2013.6575328"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Digital beamforming in sar systems

M. Younis, C. Fischer, W. Wiesbeck
<span title="">2003</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4odsbtjobjalfki6xxabjpdu6y" style="color: black;">IEEE Transactions on Geoscience and Remote Sensing</a> </i> &nbsp;
Based on software codes, these digital systems are more flexible and easier to reconfigure than RF-hardware.  ...  The rapid progression in digital hardware and signal processing capabilities stimulates the development of radar systems.  ...  One possible system design is characterized by the hardware and performance parameters given in Table I .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tgrs.2003.815662">doi:10.1109/tgrs.2003.815662</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qotg3a7v5fe7nemdoiawd6ntma">fatcat:qotg3a7v5fe7nemdoiawd6ntma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190217142155/http://pdfs.semanticscholar.org/05b6/ddefeb6b0a3c581d64f2b40d129c3660a424.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/05/b6/05b6ddefeb6b0a3c581d64f2b40d129c3660a424.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tgrs.2003.815662"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

The challenge of interoperability

Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep Shukla, Shinichi Shiraishi
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5vn6yyeefbbxtoo3uhwxwjwtme" style="color: black;">Proceedings of the 52nd Annual Design Automation Conference on - DAC &#39;15</a> </i> &nbsp;
timing relationship language, a formal contract language to express component-level requirements and validation of component integration, and the resulting high assurance system delivery.  ...  Model-Based Engineering (MBE) is a promising approach to cope with the challenges of designing the next-generation automotive systems.  ...  Moreover, since these systems are considered safetycritical, they require higher assurance, which in turn mandates a rigorous design process involving modeling, integration, implementation, and high assurance  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2744769.2747945">doi:10.1145/2744769.2747945</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dac/YuJTSS15.html">dblp:conf/dac/YuJTSS15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dlsu7o7t4bgebgx7bv4wrlk7z4">fatcat:dlsu7o7t4bgebgx7bv4wrlk7z4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170301145830/http://www.irisa.fr/prive/talpin/papers/dac15.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/85/41/85419f74585fbcec69f845ffd9420359cce3b78e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2744769.2747945"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Imaging limbal and scleral vasculature using Swept Source Optical Coherence Tomography

Ireneusz Grulkowski, Jonathan J. Liu, Bernhard Baumann, Ben Potsaid, Chen Lu, James G. Fujimoto
<span title="2011-12-31">2011</span> <i title="Photonics Society of Poland"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p4j7vrhuhrcthei6qvwvrsdtwy" style="color: black;">Photonics Letters of Poland</a> </i> &nbsp;
Imaging was performed using a swept source OCT system operating at the 1050nm wavelength range and 100kHz A-scan rate. High imaging speed enables the generation of 3D depth-resolved vasculature maps.  ...  The vessel visualization method revealed a rich vascular system in the conjunctiva and episclera.  ...  Optical coherence tomography (OCT) is a low coherence interferometric imaging modality that can perform highspeed and high-resolution cross-sectional and volumetric imaging [1, 2] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4302/plp.2011.4.02">doi:10.4302/plp.2011.4.02</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22919461">pmid:22919461</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3423982/">pmcid:PMC3423982</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dsdppsozrzhcxj3iijwqugvlm4">fatcat:dsdppsozrzhcxj3iijwqugvlm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428142438/http://photonics.pl/PLP/index.php/letters/article/download/3-47/185" 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/c4/53c4748fefaab437cd2160228d2c9762efcb5653.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4302/plp.2011.4.02"> <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> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3423982" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Reuse of safety certification artefacts across standards and domains: A systematic approach

Alejandra Ruiz, Garazi Juez, Huáscar Espinoza, Jose Luis de la Vara, Xabier Larrucea
<span title="">2017</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rzixovqh2vd4vaspoqcbcb77hq" style="color: black;">Reliability Engineering &amp; System Safety</a> </i> &nbsp;
Reuse can improve system development and assurance, and there are recommendations on reuse for some domains.  ...  Therefore, the approach is a promising way of making cross-domain reuse more costeffective in industry.  ...  The avionics experts performed a similar activity as (3) but for the avionics assurance project. 7) Reuse assurance assets from the source assurance project to the target one Using the "cross-domain reuse  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ress.2016.08.017">doi:10.1016/j.ress.2016.08.017</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4dryqr4ihnf5tjx42rl2zwjf2m">fatcat:4dryqr4ihnf5tjx42rl2zwjf2m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200306081217/http://dsp.tecnalia.com/bitstream/handle/11556/310/Microsoft%20Word%20-%20RESS2016_100_revisado_v7.pdf;jsessionid=332A28781855BAB67DEE7AB3B8245C9D?sequence=1" 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/73/5a7385ce9b373834a1de7fd6d07b097c26faafed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ress.2016.08.017"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 27,791 results