My research area since 1990 is Software Technology, where I am
interested in rigorous methods and their practical applications for the
development and the maintenance of
hardware/software systems---with a focus on relating requirements
capture by high-level specifications to detailed design and their analysis
(both mathematical verification and experimental validation). The main vehicle
I use is the ASM Method whose development and industrial applications I have
shaped since 1989.
From 1969-1989 I have worked in Logic and Complexity Theory---which
still influences the way I address the investigation of hw/sw systems.
1.
Goals of the
method: describes the goals of the method and its scientific and practical role as a discipline for the
engineering of certifiably reliable systems (Introduction to the AsmBook)
2.
Introduction describes the three constituents of the method: machine concept, ground model concept, refinement concept (from a talk to
BCS/London)
3.
ASM Ground
Model Method describes in detail the modeling
constituent of the ASM method (from LNCS 2772)
4.
ASM Refinement
Method describes
in detail the ASM refinement constituent of the ASM method (Formal
Aspects of Computing 2003)
5.
Fsm2Asm
defines machine constituent of the method generalizing FiniteStateMachines
A formalized definition can be found in Chapter 2.4 of AsmBook
and in Chapter 2 of Jbook
ASM Case Study Book (also called Jbook) exhibits ground modeling,
refinement, validation and verification of Java and its JVM implementation
with an annotated bibliography of over 300 items, covering the period
1984-2001. Title:
“The
Origins and the Development of the ASM Method for High Level System Design and
Analysis”
freely available at JUCS 8 (1) 2002. Locally a Draft
version is available. Updated December.
2002 version (with 440 items)
in Ch. 9 (History and Survey of ASM Research) of AsmBook .
1.
Teaching Fundamental
Concepts of System Design and Analysis. Description of an (undergraduate-level)
course which exploits ASMs as unifying framework for different models of
computation used in computation theory (automata and formal languages),
semantics of programming languages
and high-level system design and analysis (ranging from requirements capture to
code). CoursePresentation
and DraftPaper.
Final version in: Springer LNCS 3294 (2004)65-84
2.
llustrating to the
Practitioner the Power of ASMs for Modelling and Analysing Real-life Systems. A short Survey
( taken from Springer LNI Series Vol.P-45 (2004) 235-239) of large-scale and industrial
applications of ASMs. A more
detailed survey (as of 2003) is
found in Chapter 9 of the AsmBook.