Detail publikace

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

RYŠAVÝ, O.

Originální název

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

Typ

výzkumná zpráva

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

RYŠAVÝ, O.

Vydáno

15. 3. 2007

Nakladatel

Department of Information Systems FIT BUT

Místo

Brno

Strany počet

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