Medical Design and Outsourcing

  • Home
  • Medical Device Business
    • Mergers & Acquisitions
    • Financial
    • Regulatory
  • Applications
    • Cardiovascular
    • Devices
    • Imaging
    • Implantables
    • Medical Equipment
    • Orthopedic
    • Surgical
  • Technologies
    • Contract Manufacturing
    • Components
    • Electronics
    • Extrusions
    • Materials
    • Motion Control
    • Prototyping
    • Pumps
    • Tubing
  • Med Tech Resources
    • Subscribe to Print Magazine
    • DeviceTalks Tuesdays
    • Digital Editions
    • eBooks
    • Manufacturer Search
    • Medical Device Handbook
    • MedTech 100 Index
    • Podcasts
    • Print Subscription
    • The Big 100
    • Webinars / Digital Events
    • Whitepapers
    • Video
  • 2022 Leadership in MedTech
    • 2022 Leadership Voting!
    • 2021 Winners
    • 2020 Winners
  • Women in Medtech

Professor Develops Verification Tool for Trustworthy Cyber-Physical Systems

June 18, 2014 By Kim Gudeman, CSL

Over the past few decades, information systems have increasingly replaced human operators and processes, with technology assisting in everything from flying aircraft to regulating heartbeats. As the movement toward more autonomous systems continues, there is a growing need to ensure that these systems are safe and reliable before they are deployed – especially in fields where failure could be fatal.

CSL Assistant Professor Sayan Mitra is addressing that problem by designing a tool that provides formal guarantees for the safety and reliability of software, using novel algorithms that leverage the properties of physics and apply them to cyber systems.

“For software that interacts with physical processes, we can exploit properties like continuity and stability to analyze the complete cyber systems,” said Mitra, a member of Illinois’ electrical and computer engineering faculty. “These properties of the physical world can guide exploration of how software behaves in different scenarios and how it can break.”

Software verification isn’t a new field of study, but traditional tests have proven largely incapable of testing for every possible outcome. While the tests can verify a finite number of outcomes in a laboratory setting, they have struggled to account for new behaviors that are introduced when systems are deployed in the real world.

Mitra’s tools overcome that problem by combining fast simulations with formal and mathematical analysis. His research team recently partnered with NASA to verify the correctness of software that would facilitate a parallel landing protocol enabling planes to approach the runway in closer formation than is currently allowed. For the new protocol to work, anti-collision software, which monitors other planes and alerts the cockpit if planes get too close, must be precise and reliable.

“The planes are moving continuously in space, and if you run a simulation using the physics of the planes, we can see how the approach would work with different wind velocities, plane speeds, etc.,” said Mitra, whose work in this area was presented at the 2014 International Symposium on Formal Methods, held in May in Singapore.

Mitra is applying the same technique to pacemakers. He is working to verify models of pacemakers and cardiac tissue created by researchers at Stony Brook (New York) University and Oxford University. The work employs a second research breakthrough made by Mitra’s team: Decomposing a large, complex system into small pieces in order to infer properties about the system. It is the first time that this type of decomposition has been used for simulation-based verification.

The work was selected as one of three finalists for the Best Paper Award at the Conference on Hybrid Systems held in April in Berlin.

In addition, the research has garnered attention for other members of the team. Graduate student Parasara Sridhar Duggirala, co-advised by Professor Mahesh Viswanathan and Mitra, recently won the Feng Chen Memorial Award in Software Engineering, bestowed by the Illinois Department of Computer Science. Duggirala also was selected to attend the Heidelberg Laureate Forum, in which the world’s top young scientists are invited to learn from Abel, Fields and Turing Laureates.

Mitra is exploring other avenues in which to apply his research, including autonomous cars.

“As we push to reduce workload for human operators and operating costs in general, we’ll see even more need for autonomy in systems,” Mitra said. “Our goal is to make sure they have a high level of trustworthiness.”

Related Articles Read More >

Connected device design for the real world: Managing the development process
A portrait of ResMed President and COO Rob Douglas
ResMed finds a solution to semiconductor shortage, as well as some humor in it
Johnson & Johnson Office of Digital Innovation Leader Peter Schulam
Imagining the future of cloud-connected medical devices with Johnson & Johnson leaders
Withings Body Scan
Withings plans launch for Body Scan smart scale platform

DeviceTalks Weekly.

August 12, 2022
DTW – Medtronic’s Mauri brings years of patient care to top clinical, regulatory, scientific post
See More >

MDO Digital Edition

Digital Edition

Subscribe to Medical Design & Outsourcing. Bookmark, share and interact with the leading medical design engineering magazine today.

MEDTECH 100 INDEX

Medtech 100 logo
Market Summary > Current Price
The MedTech 100 is a financial index calculated using the BIG100 companies covered in Medical Design and Outsourcing.
DeviceTalks

DeviceTalks is a conversation among medical technology leaders. It's events, podcasts, webinars and one-on-one exchanges of ideas & insights.

DeviceTalks

New MedTech Resource

Medical Tubing

Enewsletter Subscriptions

Enewsletter Subscriptions

MassDevice

Mass Device

The Medical Device Business Journal. MassDevice is the leading medical device news business journal telling the stories of the devices that save lives.

Visit Website
MDO ad
Medical Design and Outsourcing
  • MassDevice
  • DeviceTalks
  • MedTech100 Index
  • Medical Tubing + Extrusion
  • Medical Design Sourcing
  • Drug Delivery Business News
  • Drug Discovery & Development
  • Pharmaceutical Processing World
  • R&D World
  • About Us/Contact
  • Advertise With Us
  • Subscribe to Print Magazine
  • Subscribe to E-newsletter
  • Attend our Monthly Webinars
  • Listen to our Weekly Podcasts
  • Join our DeviceTalks Tuesdays Discussion

Copyright © 2022 WTWH Media, LLC. All Rights Reserved. The material on this site may not be reproduced, distributed, transmitted, cached or otherwise used, except with the prior written permission of WTWH Media LLC. Site Map | Privacy Policy | RSS

Search Medical Design & Outsourcing

  • Home
  • Medical Device Business
    • Mergers & Acquisitions
    • Financial
    • Regulatory
  • Applications
    • Cardiovascular
    • Devices
    • Imaging
    • Implantables
    • Medical Equipment
    • Orthopedic
    • Surgical
  • Technologies
    • Contract Manufacturing
    • Components
    • Electronics
    • Extrusions
    • Materials
    • Motion Control
    • Prototyping
    • Pumps
    • Tubing
  • Med Tech Resources
    • Subscribe to Print Magazine
    • DeviceTalks Tuesdays
    • Digital Editions
    • eBooks
    • Manufacturer Search
    • Medical Device Handbook
    • MedTech 100 Index
    • Podcasts
    • Print Subscription
    • The Big 100
    • Webinars / Digital Events
    • Whitepapers
    • Video
  • 2022 Leadership in MedTech
    • 2022 Leadership Voting!
    • 2021 Winners
    • 2020 Winners
  • Women in Medtech