Electronics designed for use in aerospace vehicles.
event
Submitted by Anonymous on Thu, 12/15/2016 - 3:04pm
The 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP17)
CO-LOCATED EVENTS:
SAFECOMP Workshops: 12 September 2017
IMBSA (International Symposium on Model-Based Safety Assessment): 11-13 September 2017
SEFM (Intern. Conference on Software Engineering and Formal Methods): 5-8 September 2017
ABOUT SAFECOMP
forum
Submitted by Anonymous on Thu, 12/01/2016 - 4:44pm
file
The objective of this proposal is to exploit an early concept of a flexible, low-cost, and drone-carried broadband long-distance communication infrastructure and investigates its capability for immediate smart-city application in emergency response.
file
Airborne networking utilizes direct flight-to-to-flight communication for flexible information sharing, safe maneuvering, and coordination of time-critical missions. It is challenging because of the high mobility, stringent safety requirements, and uncertain airspace environment. This project uses a co-design approach that exploits the mutual benefits of networking and decentralized mobility control in an uncertain heterogeneous environment.
file
Autonomy-enabled transportation networks are rapidly becoming a prominent Cyber-Physical-Systems (CPS) application area with tremendous potential for societal impact, as the autonomous systems technology penetrates into aerial/road vehicles and as the concept of connected vehicles emerge. The potential opportunities are not gone unnoticed. For example, unmanned aerial vehicle (UAV) based delivery networks has already attracted innovative companies like Amazon, Google, and Matternet.
file
Wide-area management of terrestrial scale infrastructures often involves human operators, who are sandwiched between physical-world systems and cyber- assets. These Management Coupled Cyber-Physical Infrastructures (MCCPIs) are subject to diverse threats that can propagate across network elements. In this research effort, a layered network modeling paradigm for MCCPIs is developed, and threats to cyber, physical, and human assets are modeled at several resolutions.
file
The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.
file
Modern cyber-physical systems are monitored and controlled by multi-core platforms, and thermal management of multi-core chips is critical as overheated cores thereon will suffer from exponentially decaying lifetime and unacceptable performance degradation. To meet the timing and system lifetime reliability requirements under dynamic workloads and operating environment, we need a real-time thermal management (RTM) scheme that predicts run-time temperature and actuates effective thermal control without compromising task deadlines.
file
Recent progress in battery technology has made it possible to use batteries to power various physical platforms, such as ground/air/water vehicles. These platforms require hundreds/thousands of battery cells to meet their power and energy needs. Of these, automobiles, locomotives, and unmanned air vehicles (UAVs) face the most stringent environmental challenges. In particular, and of special importance to the automotive industry, is the transition from conventional powertrains to (plug-in) hybrid and electric vehicles, all of which are subject to environmental and operational variations.
