Publication detail

Framework for the Deductive Analysis of Embedded Software: Initial technical report

RYŠAVÝ, O.

Original Title

Framework for the Deductive Analysis of Embedded Software: Initial technical report

Type

report

Language

English

Original Abstract

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.

Keywords

Formal models, object orientation, sensor networks, formal specification, specification and description language, domain specific modeling language.

Authors

RYŠAVÝ, O.

Released

15. 3. 2007

Publisher

Department of Information Systems FIT BUT

Location

Brno

Pages count

20

URL

http://www.fit.vutbr.cz/~rysavy/citepdf/rysavy_07_initial-report.pdf

BibTex

@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"
}