Due to their increasing use by civil and federal authorities and vast commercial and amateur applications, Unmanned Aerial Systems (UAS) will be introduced into the National Air Space (NAS); the question is only how this can be done safely. Today, NASA and the FAA are designing a new, (NextGen) automated air traffic control system for all aircraft, manned or unmanned. New algorithms and tools will need to be developed to enable computation of the complex questions inherent in designing such a system while proving adherence to rigorous safety standards. Researchers must develop the tools of formal analysis to be able to address the UAS in the NAS problem, reason about UAS integration during the design phase of NextGen, and tie this design to on-board capabilities to provide runtime System Health Management (SHM), ensuring the safety of people and property on the ground. This proposal takes a holistic view and integrates advances in the state of the art from three intertwined perspectives to address safe integration of unmanned systems into the national airspace: from on-board the vehicle, from the environment (NAS), and from the underlying theory enabling their formal analysis. There has been rapid development of new UAS technologies yet few of them are formally mathematically rigorous to the degree needed for FAA safety-critical system certification. This project bridges that gap, integrating new UAS and air traffic control designs with advances in formal analysis. Within the wealth of promising directions for autonomous UAS capabilities, this project fills a unique need, providing a direct synergy between on-board UAS SHM, the NAS environment in which they must operate, and the theoretical foundations common to both of these. This research will help to build a safer NAS with increased capacity for UAS and create broadly impactful capabilities for SHM on-board UAS. Advancements will require theoretical research into more scalable model checking and debugging of safety properties. Safety properties express the sentiment that "something bad does not happen" during any system execution; they represent the vast majority of the requirements for NextGen designs and all requirements researchers can monitor on-board a UAS for system heath management during runtime. This research will tackle new frontiers in embedding health management capabilities on-board UAS. Collaborations with aerospace system designers at the National Aeronautics and Space Administration and tool designers at the Bruno Kessler Foundation will aid real-life utility and technology transfer. Broader impact will be achieved by involving undergraduate students in the design of an open-source, affordable, all-COTS and 3D-printable UAS, which will facilitate flight testing of this project's research advances. An open-UAS design for academia will be useful both for classroom demonstrations and as a research platform. Further impact will be achieved by using this UAS and the research it enables in interactive teaching experiences for K-12, undergraduate, and graduate students and in mentoring outreach specifically targeted at girls achieving in Science, Technology, Engineering and Mathematics (STEM) subjects.
Making a three-dimensional solid object from a digital model using an additive process.
Off
Iowa State University
-
National Science Foundation
Event
ERTSĀ² 2018
Embedded Real Time Software and Systems ( ERTSĀ² 2018)
The ERTS2 congress created by the late Jean-Claude Laprie in 2002 is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centres, agencies and industries. The previous editions gathered more than 100 talks, 500 participants and 60 exhibitors. ERTS2 is both:
The timely and accurate in-service identification of faults in mechanical structures, such as airplanes, can play a vitally important role in avoiding catastrophes. One major challenge, however, is that the sensing system relies on high frequency signals, the coordination of which is difficult to achieve throughout a large structure. To tackle this fundamental issue, the research team will take advantage of 3D printing technology to fabricate integrated sensor-structure components. Specifically, the team plans to innovate a novel printing scheme that can embed piezoelectric transducers (namely, sensor/actuator coupled elements) into layered composites. As the transducers are densely distributed throughout the entire structure, they function like a nerve system embedded into the structure. Such a sensor nerve system, when combined with new control and command systems and advanced data and signal processing capability, can fully unleash the latest computing power to pinpoint the fault location.
The new framework of utilizing emerging additive manufacturing technology to produce a structural system with integrated, densely distributed active sensing elements will potentially lead to paradigm-shifting progress in structural self-diagnosis. This advancement may allow the acquisition of high-quality, active interrogation data throughout the entire structure, which can then be used to facilitate highly accurate and robust decision-making. It will lead to intellectual contributions including: 1) development of a new sensing modality with mechanical-electrical dual-field adaptivity, that yields rich and high-quality data throughout the structure; 2) design of an additive manufacturing scheme that inserts piezoelectric micro transducer arrays throughout the structure to enable active interrogation; and 3) formulation of new data analytics and inverse analysis that can accurately identify the fault location/severity and guide the fine-tuning of the sensor system.
Off
Texas A&M Engineering Experiment Station
-
National Science Foundation
Manufacturing and production have been big contributors to improved quality and sustainability of human life. Current market trends, such as consumer demand for variety, short product life cycles, high product quality and low cost, have resulted in the need for efficient, responsive, robust and sustainable manufacturing and production paradigm. 3D printing technologies hold the merit of affordability and customizability, while the key challenge in applying 3D printing for mass customization in real life is how to reduce the lead time per unit. The lead time of 3D printing a product unit comes from two sources, i.e., the pre-fabrication computation and manufacturing process. The pre-fabrication computation is increasingly significant and becomes the bottleneck in the manufacturing flow of mass customization in 3D Printing. This EArly-concept Grant for Exploratory Research (EAGER) project looks to address this problem through new computational methods with potential for two orders of magnitude reduction in time for pre-facbrication computation.
This project aims to develop a transformative computational paradigm of 3D printing in mass customization. The project will pursue two novel and complementary objectives: 1) design a suite of quality-guaranteed geometric algorithms for the scalable and time-efficient pre-fabrication computation framework.; and 2) develop a low-complexity and efficient computing system to facilitate and accelerate the use of these methods and algorithms in Objective1. This new computer system focuses on domain-specific computing platforms as the next disruptive technology for power-performance-runtime efficiency improvement. Specifically, the team will develop accelerator-based architectures for computing primitives of geometric algorithms. This new hardware architecture will exploit the parallelism and customization to improve the efficiency of the new computational paradigm in 3D printing with less delay, lower complexity and higher computing power.
Off
SUNY at Buffalo
-
National Science Foundation
Jinhui Xu
Chi Zhou
Cyber-physical additive layer manufacturing, e.g., 3D printing, has become a promising technology for providing cost, time, and space effective solution by reducing the gap between designers and manufacturers. However, the concern for the protection of intellectual property is arising in conjunction with the capabilities of supporting massive innovative designs and rapid prototyping. Intellectual property in the additive layer manufacturing system consists of: i) geometric design of an object; ii) attributes of an object; iii) process information; and iv) machine information. This Early-concept Grant for Exploratory Research (EAGER) project seeks to develop defense mechanisms for detecting malware and counterfeit articles using a variety of signals that are observed during the manufacturing process including acoustic, temperature, power, and others. The project is an EAGER because both the uniqueness of the observed signal signatures, and their utilization in securing the manufacturing process are high risk with potential for high reward in thwarting attacks.
This project will demonstrate that during the life-cycle of the additive layer manufacturing system, the intellectual property information contained in the cyber domain can be recovered/reconstructed through attacks occurring during the manufacturing process in the physical domain through various non-intrusive techniques. It will then focus on creating both machine-dependent and machine-independent defense mechanisms for avoiding such an attack. This project will significantly impact US competitiveness over technology-oriented manufacturing. The attack model will provide feedback to 3D printer manufacturers and CAD tool designers to build defenses against these new types of attack. Moreover, it will have a significant societal impact to the explosively growing maker and crowd-sourcing community in protecting their intellectual property. In addition, the project's approach can be used in other manufacturing systems, e.g., CNC machines, manufacturing robots, etc. This is possibly the very first approach to create defense for additive layer manufacturing mechanisms against such attacks occurring in the physical domain to get access to information of the cyber domain. This project has three specific objectives: 1) It will demonstrate a proof of concept by presenting a novel attack model constructed using a combination of machine learning, signal processing, and pattern recognition techniques that utilize the side-channel information (power, temperature, acoustic, electromagnetic emission) obtained during the manufacturing process. 2) It will develop a machine-specific defense mechanism against the attack model for the 3D printer. New techniques to add additional physical process encryption, e.g. adding extra information to the G-code to obfuscate the printing process from the attack model between the G-code and the physical manufacturing process, will be demonstrated. 3) It will create a new security-aware 3D-printing algorithm for the machine-independent CAD tools that can protect against such side channel attacks. The 3D-printing algorithm will slice the STL and generate layer description language (e.g. G-code) randomly so that for the same 3D object, different instructions will be sent to the 3D printer and eventually different physical features will be extracted by the attackers.
Off
University of California, Irvine
-
National Science Foundation
Submitted by Mohammad Abdullah Al Faruque on March 2nd, 2016
Event
ReCoSoC 2016
11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)
Over the past decade ReCoSoC has established itself as a international reference event for research in the areas of reconfigurable and communication-centric systems-on-chip. Its informal and dynamic philosophy encourages technical and scientific interactions of both academic and industrial participants through presentations and special sessions reporting latest advances in the related areas.
This grant provides funding for the formulation of a data model, and trajectory planning platform and methodology to execute a fully digital 3D, 5-axis machining capability. Research will be performed on methods for utilizing multiple Graphical Processor Units (GPUs), which are readily available, parallel digital processing hardware, in these calculations. The methodology will be implemented in the context of an existing advanced computational framework that has tools for voxelization, variable resolution digital modeling, and parallel computing, integrating the fields of manufacturing and computer science. Experiments involving 5-axis machining will be executed to validate the methodology. Components will be machined and inspected on a coordinate measurement machine to verify that the target geometry has been achieved.
If successful, this work will bring classical subtractive manufacturing back into the arsenal of rapid prototyping, providing users of typical CNC machine tools with the ability to rapidly determine if a part can be produced on a specific machine and machine the part. Having such a design and analysis tool will help to reduce the cost, improve the quality and allow rapid deployment of new innovations in components that require machining. This work will contribute to variable resolution digital representations to be employed in next generation digital manufacturing systems. It will also combine state-of-the-art concepts in computing and manufacturing to realize a completely new a cyber-physical approach to manufacturing.
Off
Georgia Tech Research Corporation
-
National Science Foundation
Event
(MC)3
Multi-Core and Many-Core systems for EMbedded Computing (MC)3
Special session in 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016)
http://www.pdp2016.org/SS9.html
17-19 Feb. 2016, Crete, Greece
The 2nd Mediterranean Conference on Embedded Computing (MECO 2013) is a continuation of very successful MECO-2012 event. It is an International Scientific Forum aimed to present and discuss the leading achievements in the modeling, analysis, design, validation and application of embedded computing systems. MECO 2013 will provide an opportunity for scientists, engineers and researchers to discuss new applications, design problems, ideas, solutions, research and development results, experiences and work-in-progress in this important technological area.