Electronics designed for use in aerospace vehicles.
We are organizing a virtual aviation-focused cybersecurity competition (called the Aviation ISAC Collegiate CTF Competition) on Sept. 23rd (8:30am-4:30pm EDT) at the A-ISAC Virtual Symposia. This is free and open to teams of 3 students from any college/university. There can be multiple teams from each institution. Cash prizes for the top-3 teams. There will be industry mentors virtually assisting, so networking opportunities exist as well.
Submitted by Anonymous on September 16th, 2020
Event
SAFECOMP 2020 - Virtual
39th International Conference on Computer Safety, Reliability and Security
Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.
Submitted by Anonymous on July 23rd, 2020
Event
NSV 2018
11th International Workshop on Numerical Software Verification (NSV 2018)
Federated Logic Conference (FLoC) 2018
Submitted by Anonymous on March 14th, 2018
Event
EMSOFT 2018
International Conference on Embedded Software (EMSOFT 2018)
The ACM SIGBED International Conference on Embedded Software (EMSOFT) brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development.
Submitted by Anonymous on January 29th, 2018
Vehicle systems, being either ground/air/water vehicles, require hundreds/thousands of battery cells to meet their power and energy needs. In this project, we aim to develop comprehensive management solutions of such large-scale batteries with the joint consideration of peak power, operation time, and battery life for vehicle electrification.
Submitted by Kang Shin on November 29th, 2017
This project addresses the foundational problem of knowledge and limits of knowledge within cyber-physical systems (CPS). A single system observes its environment through sensors and interacts through actuators. Neither is perfect. Thus, the CPS's internal view of the world is blurry and its actions are imprecise. CPS are still analyzed with methods that do not distinguish between truth in the world and an internal view thereof, resulting in a mismatch between the behavior of theoretical models and their real-world counterparts.
Submitted by Andre Platzer on November 29th, 2017
Submitted by Anonymous on November 29th, 2017
Submitted by Minghui Zhu on November 29th, 2017
Strategic decision-making for physical-world infrastructures is rapidly transitioning toward a pervasively cyber-enabled paradigm, in which human stakeholders and automation leverage the cyber-infrastructure at large (including on-line data sources, cloud computing, and handheld devices). This changing paradigm is leading to tight coupling of the cyber- infrastructure with multiple physical- world infrastructures, including air transportation and electric power systems. These management-coupled cyber- and physical- infrastructures (MCCPIs) are subject to complex threats from natural and sentient adversaries, which can enact complex propagative impacts across networked physical-, cyber-, and human elements.
We propose here to develop a modeling framework and tool suite for threat assessment for MCCPIs. The proposed modeling framework for MCCPIs has three aspects: 1) a tractable moment-linear modeling paradigm for the hybrid, stochastic, and multi-layer dynamics of MCCPIs; 2) models for sentient and natural adversaries, that capture their measurement and actuation capabilities in the cyber- and physical- worlds, intelligence, and trust-level; and 3) formal definitions for information security and vulnerability. The attendant tool suite will provide situational awareness of the propagative impacts of threats. Specifically, three functionalities termed Target, Feature, and Defend will be developed, which exploit topological characteristics of an MCCPI to evaluate and mitigate threat impacts. We will then pursue analyses that tie special infrastructure-network features to security/vulnerability. As a central case study, the framework and tools will be used for threat assessment and risk analysis of strategic air traffic management. Three canonical types of threats will be addressed: environmental-to-physical threats, cyber-physical co-threats, and human-in-the-loop threats. This case study will include development and deployment of software decision aids for managing man-made disturbances to the air traffic system.
This is a continuing grant of Award # 1544863
Award Number
Display Videos in Hero
Off
Institution
University of Texas at Arlington
Lead PI
Yan Wan
Performance Period
-
Sponsor
National Science Foundation
Sponsor Award URL
Submitted by Yan Wan on September 19th, 2017
Event
ISORC 2018
IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC 2018)
IEEE ISORC was founded in 1998 (with its first meeting in Kyoto, Japan) to address research into the application of real-time object-oriented distributed technology. Since then, ISORC has continually evolved to meet the latest challenges faced by researchers and practitioners in the real-time domain, with an emphasis on object-, component- and service- oriented systems and solutions..
Submitted by Anonymous on September 19th, 2017