Result Details
Framework for the Deductive Analysis of Embedded Software: Initial technical report
IEEE standard 1451.1 specifies interfaces and common components for distributed sensor systems based on
interconnected Network Capable Application Processors architecture. This application domain defines
boundaries of domain specific modeling languages studied in the frame of project, entitled
Framework for the Deductive Analysis of Embedded Software. The full intention of the project is to support
DSML based software development with formal methods, that is, to provide methods for checking properties of domain models.
An approach taken is vertical considering the support of several phases of development process by means of
specification and modeling methods.
While requirements specification languages are inherently axiomatic, design specification languages usually
provide for model-based specifications. By tight correspondence of precisely stated semantics among these languages
it may be easier to apply formal methods which is not the case of universal modeling languages, where semantic
uncertainty stands for the biggest obstacle.
This report gives the outline of the research agenda, summarizes the state of the art in
DSML based software design, and concertizes the work plan for the duration of the project.
Formal models, object orientation, sensor networks, formal specification, specification and description language, domain specific modeling language.
@techreport{BUT57724,
author="Ondřej {Ryšavý}",
title="Framework for the Deductive Analysis of Embedded Software: Initial technical report",
year="2007",
publisher="Department of Information Systems FIT BUT",
address="Brno",
pages="20",
url="http://www.fit.vutbr.cz/~rysavy/citepdf/rysavy_07_initial-report.pdf"
}