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
Sign In To Comment On This Article
Create A Web Account
If you are an ACM member, Communications subscriber, Digital Library subscriber, or use your institution's subscription, please set up a web account to access comments, premium content and additional site features.
If you are a SIG member or member of the general public, you may set up a web account to comment on free articles and sign up for email alerts.
Tools For Readers
Related ACM Resources
Conferences:
- FLOPS 2010: Tenth International Symposium on Functional and Logic Programming - April 19, 2010 – April 21, 2010; Sendai, Japan
Books:
- Building Scalable Web Sites - Cal Henderson
Courses:
- SQL: Advanced Querying: (Third Edition) - In this course, you will create advanced SQL queries to manipulate and index tables. You will also create transactions so that you can choose to …
About Communications |
Join ACM 
|
Renew |
Subscribe |
Sign In |
For Authors |
For Advertisers |
Privacy |
Site Map |
Help |
Contact Us
Copyright © 2009 by the ACM. All rights reserved.