APL: A prototyping language

IEE Proceedings E Computers and Digital Techniques, 1986

The paper describes the use of APL (a programming language) for the specification of a hardware architecture, the description of an initial implementation algorithm, its verification and controlled transformation to a logic design. Because of its power of expression, APL can be used effectively in each of these design domains. The APL interpreter turns any description into an executable prototype. Such a prototype is a powerful tool in the management and execution of a design; it clarifies design choices and assures the logical correctness of the product. This computer-aided-design process, which is illustrated by the design of the front end of a logic analyser, is useful for a variety of design situations, such as LSI/VLSI and computer design.

1988

2005

This paper presents the tools and solutions developed through the SystemC'mantic project, which aims to reduce the design cycle of Telecom and Multimedia applications. This goal is achieved by automating the tasks devoted to design engineers when they want to move from a functional description of the application, downto a transactional (TLM 2 ) model or RTL model for some IPs. SystemC'mantic helps to build the candidate architectures by handling the heterogeneity of the available IP blocks and managing the mapping of the functional application on the target architecture, the generation of level adapters, the high level synthesis, the generation of code for DSP and the management of the re-configurability of systems.

The Journal of Object Technology, 2007

In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward incrementally refinable description of conceptual design and product architecture. Elements in the design represent abstractions of artifacts in the various engineering disciplines involved in the development of the system. The design represents how these artifacts collaborate to provide the product functionalities. This paper explores all the diagrams available in SysML through the real-life example of an embedded system.

Proceedings of the international conference on APL - APL '83, 1983

APLDOT is a general purpose modeling language that has been used successfully in a variety of applications. To date, it has found widest applicability as an extension to APL in complex modeling problems. APLDOT significantly amplifies the power of APL by: (1) providing a useful model hierarchy; (2) providing additional indexing paths into the model; and (3) by handling calculational precedence (APLDOT is a non-procedural language).

Architecture and Design …, 2001

. The paper presents a CASE environment for rapid prototyping of software. The environment supports the OBSERVmethodologyand language,which combines the objectoriented approach (for system decomposition), finite state machines (to model behavior), and logic programming paradigm (for describing activities). The environment is based on a graphical front end, named CRUISE and includes tools for editing, simulation (or execution), browsing, and static checking. The paper outlines the OBSERV methodolgy, and presents in detail the CRUISE user interface, and each of the tools. 1 Introduction The traditional software development process is unsuitable for complex target systems (e.g. embedded systems). Rapid prototyping is increasingly seen as an important software development paradigm, augmenting or even replacing the conventional phased approach [3, 5, 13]. The OBSERV methodology for software development is based on rapid construction of an executable specification (or prototype) of ...

This chapter outlines Papyrus, a tool for graphical modeling of UML2 applications. It is an open-source project, designed as an Eclipse component, and based on the existing EMF-based realization of the UML2 meta-model. The goal of this open-source project is twofold. First, it is a complete, efficient, robust, and methodologically agnostic implementation of a UML2 tool to both industry and academia. Second, it is an open and flexible facility for defining and utilizing domain-specific modeling languages using a very advanced implementation of the UML profile concept.

2004

The design of embedded systems is often based on the development of a detailed formal system specification. Considerable effort is spent to ensure the correctness of this specification. However, the actual implementation of the specification and later maintenance is usually done using traditional programming and tends to diverge from the specification. To avoid this, it is desirable to derive the implementation directly from the specification. We present an approach for model-based development of embedded systems applying a well-defined UML 2.0 subset with precise execution semantics. Our approach is fully object-oriented and accounts for important aspects like real-time behavior including timeouts and interrupts. Through the seamless integration of UML sequence diagrams with state transition diagrams, complete executable systems can be described. The direct execution of such models on a UML Virtual Machine (UVM) eliminates the separate implementation step and increases portability.

2010