China
Africa
Explore chapters and articles related to this topic
Realising Variability in Dynamic Software Product Lines
Published in Ivan Mistrik, Matthias Galster, Bruce R. Maxim, Software Engineering for Variability Intensive Systems, 2019
Jane D. A. Sandim Eleutério, Breno B. N. de França, Cecilia M. F. Rubira, Rogério de Lemos
D1-A4. Architectural Model. There are at least three design techniques for representing PLA architectures: (i) using customised languages, and (ii) using ADL. In the first case, some DSPL approaches define customised languages or ad-hoc models to represent the architectural model. In the second case, architecture description languages (ADLs) are used to define the software architecture. ADL is any language used in an architecture description and it can be used by one or more viewpoints to represent identified system concerns within an architecture description (ISO/IEC/IEEE 2011). This design issue has mutually exclusive strategies. Adopting design strategies for representing architectural models produce well-structured software systems. This justifies the positive weight assigned to this design issue and the negative weight assigned to the approach that did not offer any support.
Processor Modeling and Design Tools
Published in Louis Scheffer, Luciano Lavagno, Grant Martin, EDA for IC System Design, Verification, and Testing, 2018
ADLs designed for a specific domain (such as DSP or VLIW) or for a specific purpose (such as simulation or compilation) can be compact and it is possible to automatically generate efficient (in terms of area, power, and performance) tools and hardwares. However, it is difficult to design an ADL for a wide variety of architectures to perform different tasks using the same specification. Generic ADLs require the support of powerful methodologies to generate high-quality results compared to domain or task-specific ADLs. In the future, the existing ADLs will go through changes in two dimensions. First, ADLs will specify not only processor, memory, and co-processor architectures but also other components of the system-on-chip architectures including peripherals and external interfaces. Second, ADLs will be used for software toolkit generation, hardware synthesis, test generation, instruction-set synthesis, and validation of microprocessors. Furthermore, multiprocessor SOCs will be captured and various attendant tasks will be addressed. The tasks include support for formal analysis, generation of RTOS, exploration of communication architectures, and support for interface synthesis. The emerging ADLs will have these features.
Processor Modeling and Design Tools
Published in Luciano Lavagno, Igor L. Markov, Grant Martin, Louis K. Scheffer, Electronic Design Automation for IC System Design, Verification, and Testing, 2017
Anupam Chattopadhyay, Nikil Dutt, Rainer Leupers, Prabhat Mishra
Nowadays, the processor is modeled using an ADL or is chosen from a range of configuration options. The selected configuration/specification is used to generate software tools including compiler and simulator to enable early design space exploration. The ADL specification is also used to perform other design automation tasks including synthesizable hardware generation and functional verification.
PDDL4J: a planning domain description library for java
Published in Journal of Experimental & Theoretical Artificial Intelligence, 2018
Proposed for the first time in 1998 (Ghallab et al., 1998), PDDL is mainly inspired by Strips (Fikes & Nilsson, 1971) (STanford Research Institute Problem Solver) and Adl (Pednault, 1994) (Action Description Language). It expresses planning problems in two files: (1) the domain file describing the operators, and (2) the problem file describing the initial state and the goal.