Enzian: an open, general, CPU/FPGA platform for systems software research
Hybrid computing platforms, comprising CPU cores and FPGA logic, are increasingly used
for accelerating data-intensive workloads in cloud deployments, and are a growing topic of …
for accelerating data-intensive workloads in cloud deployments, and are a growing topic of …
A survey of practical formal methods for security
In today's world, critical infrastructure is often controlled by computing systems. This
introduces new risks for cyber attacks, which can compromise the security and disrupt the …
introduces new risks for cyber attacks, which can compromise the security and disrupt the …
Cyberassured systems engineering at scale
Our team has developed a model-based systems engineering environment that integrates
formal methods at all levels of system design. Our methodology and tools enable systems …
formal methods at all levels of system design. Our methodology and tools enable systems …
Environment-centric safety requirements for autonomous unmanned systems
Autonomous unmanned systems (AUS) emerge to take place of human operators in harsh
or dangerous environments. However, such environments are typically dynamic and …
or dangerous environments. However, such environments are typically dynamic and …
Run-time assurance for learning-based aircraft taxiing
D Cofer, I Amundson, R Sattigeri… - 2020 AIAA/IEEE 39th …, 2020 - ieeexplore.ieee.org
Aircraft systems that include learning-enabled components (LECs) and their software
implementations are not amenable to verification and certification using current methods …
implementations are not amenable to verification and certification using current methods …
Twenty years of open source software: From skepticism to mainstream
Open source software (OSS) has conquered the software world. You can see it nearly
everywhere, from Internet infrastructure to mobile phones to the desktop. In addition to that …
everywhere, from Internet infrastructure to mobile phones to the desktop. In addition to that …
HAMR: an AADL multi-platform code generation toolset
J Hatcliff, J Belt, Robby, T Carpenter - Leveraging Applications of Formal …, 2021 - Springer
This paper describes the High-Assurance Model-based Rapid engineering for embedded
systems (HAMR) tool-kit that generates high-assurance software from standards-based …
systems (HAMR) tool-kit that generates high-assurance software from standards-based …
Verdict: a language and framework for engineering cyber resilient and safe system
The ever-increasing complexity of cyber-physical systems is driving the need for assurance
of critical infrastructure and embedded systems. However, traditional methods to secure …
of critical infrastructure and embedded systems. However, traditional methods to secure …
Data security and privacy issues in swarms of drones
M Albalawi, H Song - 2019 Integrated Communications …, 2019 - ieeexplore.ieee.org
The unmanned aerial technology is being a major part in several industries such as the
military, the emergency response units, and the space exploration, but these fields are …
military, the emergency response units, and the space exploration, but these fields are …