Result Details

Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design

ŠVÉDA, M.; RYŠAVÝ, O.; VRBA, R. Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design. In Frontiers in Robotics, Automation and Control. Vienna: IN-TECH Education and Publishing, 2008. p. 151-164. ISBN: 978-953-7619-17-6.
Type
chapter in a book
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
Ryšavý Ondřej, doc. Ing., Ph.D., DIFS (FIT)
Vrba Radimír, prof. Ing., CSc., UMEL (FEEC)
Abstract

The contribution provides principles of case-based reasoning support to reuse in frame of formal specification-based system design aiming at industrial applications domain.

Keywords

case-based reasoning, formal specification, design pattern reuse

URL
Published
2008
Pages
151–164
Book
Frontiers in Robotics, Automation and Control
ISBN
978-953-7619-17-6
Publisher
IN-TECH Education and Publishing
Place
Vienna
BibTeX 
@inbook{BUT55786,
  author="Miroslav {Švéda} and Ondřej {Ryšavý} and Radimír {Vrba}",
  title="Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design",
  booktitle="Frontiers in Robotics, Automation and Control",
  year="2008",
  publisher="IN-TECH Education and Publishing",
  address="Vienna",
  pages="151--164",
  isbn="978-953-7619-17-6",
  url="http://intechweb.org/book.php?id=78"
}
Projects
Framework for the deductive analysis of embedded software, GACR, Postdoktorandské granty, GP201/07/P544, start: 2007-01-01, end: 2008-12-31, completed
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top