Text Size
- Home
-
News
Advanced computing news from Communications of the ACM, other ACM resources, and from around the Web.
- Blogs
- Opinion
-
Browse by Subject
Recent articles from Communications organized into categories that encompass the broad scope of computing.
-
Magazine Archive
-
Careers
Jump-start your career with information on trends, opportunities and jobs – in both industry and academia.
- ACM Resources
-
Subscribe
Receive the benefits of ACM membership with a subscription to its flagship publication, Communications of the ACM.
This Article
ACM News
Method For Verifying Safety Of Computer-Controlled Devices Developed
![[article image]](/system/assets/0000/0574/042109_CMU_Edmund_Clarke.large.jpg?1240320134&1240320134 "Carnegie Mellon University Professor Edmund M. Clarke")
Edmund M. Clarke
MIT
Researchers at Carnegie Mellon University's School of Computer Science have developed a new method for systematically identifying bugs in aircraft collision avoidance systems, high-speed train controls and other complex, computer-controlled devices. The approach, developed by University Professor of Computer Science Edmund M. Clarke and Andre Platzer, assistant professor of computer science, already has detected a flaw in aircraft collision avoidance maneuvers — since corrected — that could have caused mid-air collisions. Ultimately, the method could be used on other cyber-physical systems, such as robotic surgery devices and nano-level manufacturing equipment.
"With systems becoming more and more complex, mere trial-and-error testing is unlikely to detect subtle problems in system design that can cause disastrous malfunctions," Clarke said. "Our method is the first that can prove these complex cyber-physical systems operate as intended."
From ScienceDaily
View Full Article
Post a comment...
Tools For Readers
Related ACM Resources
Conferences:
- MMSys 2012: Multimedia Systems Conference - February 22 – 24, 2012; Chapel Hill, NC, USA
Courses:
- Windows NT 4.0 System Administration - In this course you will learn a number of skills related to the Windows NT 4.0 network operating system, with special emphasis on how to …
About Communications |
Join ACM 
|
Renew |
Subscribe |
Sign In |
For Authors |
For Advertisers |
Privacy |
Site Map |
Help |
Contact Us |
Mobile Site
Copyright © 2012 by the ACM. All rights reserved.