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.

25th Asia and South Pacific Design Automation Conference (ASP-DAC 2020) Aims of the Conference

4th International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems (RESACS 2018) http://resacs2018.wordpress.com | http://twitter.com/RESACS_WS

Stroke is a leading cause of long-term disability, with 80% of survivors having locomotor impairments. Individuals after stroke typically present with hemiparetic gait, characterized as slow, asymmetric, and inefficient. Our lab has been developing soft wearable cyber-physical sytems, called soft exosuits, that interface with paretic limb after stroke through soft and conformal textile-based structures to assist hemiparetic walking. Soft exosuits transmit mechanical power to human body joints via interaction between functional textiles worn on the body and Bowden cable retraction.

This project will design and implement a domain-specific language and compiler for microfluidic laboratory-on-a-chip (LoC) devices based on electrowetting-on-dielectric (EWoD) technology. The Lead PI’s team has designed and implemented BioScript, a domain-specific programming language for programmable microfluidics. The BioScript syntax is programmer friendly, with the intention of being accessible to biologists and other researchers and practitioners in the life sciences.

This project is a component of a larger effort is to develop the foundations of modeling, synthesis and development of verified medical device software and systems from verified closed-loop models of the device and organ(s). This research spans both implantable medical devices such as cardiac pacemakers and physiological control systems such as drug infusion pumps which have multiple networked medical systems. Here we focus on an education and outreach activity associated with the project.

The project aims to advance both foundations and enabling technologies in the field of human-machine systems, with a focus on exercise and rehabilitation machines. A human interacting with an advanced (actively-controlled) exercise machine is the ultimate cyber-physical system due to the presence of multi-level loop closures, large-scale, coupled musculoskeletal dynamics, conflicting objectives between human vs. machine controllers, uncertain dynamics and limited sensing.