Controlling a complete hardware synthesis toolchain with LARA aspects (original) (raw)
Related papers
Synet: un outil de synthese de réseaux de Petri bornés, applications
Implementing the High Level Architecture in the Virtual Test Bed
Proceedings of the 2004 Winter Simulation Conference, 2004., 2004
Architectural Scale Models in the Digital Age, 2013
Rapid System Development Via Product Line Architecture Implementation
Rapid Integration of Software Engineering Techniques, 2006
Supporting the Development of Complete Engineers
Proceedings of the 10th International Conference on Computer Supported Education, 2018
Hardware evolution system AdAM
Communications of the ACM, 1999
Abstractions for hybrid systems
Formal Methods in System Design, 2007
A software architecture for intelligent synthesis environments
2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542)
Integrated product and process designenvironment tool for manufacturing T/R modules
1998
Ai Magazine, 1990
Automation of Synthesis of Structures, Systems Engineering Strategies for Production
Procedia Engineering, 2016
Expanding the modern synthesis
Comptes Rendus Biologies, 2010
Pretreatment Engineering Platform Phase 1 Final Test Report
2009
Synthesis from component libraries
International Journal on Software Tools for Technology Transfer, 2012
Controller Synthesis from LSC Requirements
Lecture Notes in Computer Science, 2009
Separating computation, coordination and configuration
Luis Fernando Carrillo Andrade
Journal of Software Maintenance and Evolution: Research and Practice, 2002
Engineering Innovation Factory
Procedia CIRP, 2014
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems, 2012
Requirements Validation for Hybrid Systems
Lecture Notes in Computer Science, 2009
Using aspects to develop built-in tests for components
2003
A Compositional Framework for Hardware/Software Co-Design
2002
1988
Product-Driven Process Design : From Molecule to Enterprise
2020
2015
Chapter 8—Technology for modern architecture
Renewable and Sustainable Energy Reviews, 1998