115 search results - page 16 / 23 » Hardware synthesis from protocol specifications in LOTOS |
ICECCS
2008
IEEE
15 years 6 months ago
2008
IEEE
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
102
click to vote
FPL
1999
Springer
15 years 4 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
EUROPAR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Typical sensor nodes are composed of cheap hardware because they have to be affordable in great numbers. This means that memory and communication bandwidth are small, CPU...
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
103
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...