NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Robust Software Engineering Members Help Organize Ames Formal Aspects of Component Software Symposium
Intelligent Systems Division Banner

Robust Software Engineering Members Help Organize Ames Formal Aspects of Component Software Symposium

Dr. Corina Pasareanu chaired the 9th International Symposium on Formal Aspects of Component Software (FACS), held September 12-14, 2012 at NASA Ames Research Center. The Symposium featured a strong technical program consisting of peer-reviewed presentations, two invited talks by Tevfik Bultan (Professor at UC Santa Barbara) and Shaz Qadeer (from Microsoft Research), and a panel led by Natarajan Shankar (from the Stanford Research Institute). The event was organized by Carnegie Mellon University, Silicon Valley, included members from the Robust Software Engineering Group, and was held in Building 152 on the grounds of NASA Ames Research Park. This was the first international FACS Symposium held outside Europe. In previous years the Symposium has been held at Oslo, Norway; GuimarĂ£es, Portugal; and Eindhoven, Netherlands.

BACKGROUND: The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. The FACS Symposium is concerned with how formal methods can be used to make component-based software development succeed. The Symposium targets challenging issues such as mathematical models for components; composition and adaptation; and rigorous approaches to verification, deployment, testing, and certification for component software. The Symposium addressed the applications of formal methods in all aspects of software components and services. Specific topics included:

  • Formal models for software components and their interaction
  • Formal aspects of services, service-oriented architectures, business processes, and cloud computing
  • Design and verification methods for software components and services
  • Composition and deployment: models, calculi, languages
  • Formal methods and modeling languages for components and services
  • Model-based and GUI-based testing of components and services
  • Models for quality of service and other extra-functional properties (e.g., trust, compliance, security) of components and services
  • Components for real-time, safety-critical, secure, and/or embedded systems
  • Industrial or experience reports and case studies
  • Update and reconfiguration of component and service architectures
  • Component systems evolution and maintenance
  • Autonomic components and self-managed applications
  • Formal and rigorous approaches to software adaptation and self-adaptive systems

Contact: Dr. Corina S. Pasareanu

First Gov logo
NASA Logo -