Home | Search | Help  
Home Page Università di Genova

Seminar Details

Date 3-10-2011
Time 14:30
Room/Location DISI-Sala Conferenze
Title HATS - Highly Adaptable and Trustworthy Software using Formal Models
Speaker Reiner Hähnle
Affiliation Department of Computer Science and Engineering of Chalmers University of Technology.
Link http://www.cse.chalmers.se/~reiner/
Abstract The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand on trustworthiness. The core of the method is an object-oriented, executable modeling language for adaptable, concurrent software components: the Abstract Behavioral Specification (ABS) language. Its design goal is to permit formal specification of concurrent, component-based systems on a level that abstracts away from implementation details, but retains essential behavioral properties. ABS also includes language constructs for modeling of feature hierarchies and of software product lines. In the talk, we give a brief introduction into ABS and we report on the current state of the HATS tool chain.
Back to Seminars