An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

2008 ◽  
pp. 208-224 ◽  
Author(s):  
David Navarre ◽  
Philippe Palanque ◽  
Jean-François Ladry ◽  
Sandra Basnyat
Keyword(s):  
User Interfaces ◽  
Formal Description ◽  
Formal Description Technique ◽  
Design And Implementation ◽  
Description Technique

The Design and Implementation of a Editor that Supports Syntax Highlighting of E-Lotos

2011 ◽  
Vol 225-226 ◽  
pp. 1050-1053
Author(s):  
Xiao Qing Guo ◽  
Yu Lan Zhao ◽  
Chao Ji ◽  
Feng Xian Jiang ◽  
Le Le Feng
Keyword(s):  
Software Development ◽  
System Design ◽  
Formal Methods ◽  
Symbolic Execution ◽  
Formal Description ◽  
Formal Description Technique ◽  
Design And Implementation ◽  
Java Swing ◽  
Description Technique

Formal methods (FM) are mathematically based techniques that provide a rigorous basis for software development: the application of FMs makes it possible to achieve provable correctness and reliability in the various steps of system design and implementation. Generally, Formal methods need the support of formal description technique (FDT). Because the FDL has strict syntax and semantics. It is the realization of the abstract to the concrete, strictly, can be symbolic execution, unambiguous. E-LOTOS formal description is an important technology. This paper describes the design and the implement of the editor that support syntax highlighting of E-LOTOS. The editor is implemented using java Swing and JFlex.

scholarly journals Formal Codesign Methodology with Multistep Partitioning

VLSI Design ◽  
1998 ◽  
Vol 7 (4) ◽  
pp. 401-423 ◽  
Author(s):  
Vincenza Carchiolo ◽  
Michele Malgeri ◽  
Giuseppe Mangioni
Keyword(s):  
Formal Description ◽  
Formal Description Technique ◽  
Trade Off ◽  
Target Architecture ◽  
Design Cycle ◽  
Formal Basis ◽  
Step Algorithm ◽  
Description Technique ◽  
Hardware Performance

A codesign methodology is proposed which is suitable for control-dominated systems but can also be extended to more complex ones. Its main purpose is to optimize the trade-off between hardware performance and software reprogrammability and reconfigurability. The methodology proposed intends to cover the development of the whole system. It deals in greater detail with the steps that can be made without the need for any particular assumption regarding the target architecture. These steps concern splitting up the specification of the system into a set of individually synthesizable elements, and then grouping them for the subsequent mapping stage. In order to decrease the complexity of each partitioning attempt, a two step algorithm is proposed, thus permitting a wide exploration of possible solutions. The methodology is based on the TTL language, an extension of the T-LOTOS Formal Description Technique which provides a large amount of operators as well as a formal basis. Finally, an example pointing out the complete design cycle, excepting the allocation stage is provided.

scholarly journals Precise Descriptions of VLC Synchronization with CSP Semantic Models

2010 ◽  
pp. 59-70
Author(s):  
A.C.M . Fong
Keyword(s):  
Research Community ◽  
Formal Description ◽  
Failure Model ◽  
Formal Description Technique ◽  
Coding Efficiency ◽  
Simulation Techniques ◽  
Semantic Models ◽  
Variable Length Codes ◽  
Synchronization Mechanisms ◽  
Description Technique

Variable length codes (VLC) have found widespread applications due to their inherent coding efficiency. However, encoder-decoder synchronization becomes critically important for VLC to operate properly. Traditional treebased techniques lack the scalability to analyse the synchronization behaviours of VLC, and simulation techniques are typically used instead for large code sets. Building on an initial paper in which we first described an application of CSP to this domain, we present further advances in this paper. The contributions of this paper are twofold. First, we describe a novel application of the CSP stable failure model to completely describe the VLC synchronization mechanisms. Consequently, we concisely characterize bit patterns that can bring about rapid synchronization. The overall goal is to advance our understanding in this important area of research through an established formal description technique originally developed and used within the computing research community.

Sign in / Sign up

Export Citation Format

Share Document