IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
System Design with SystemC
Modeling and Designing Heterogeneous Systems
Concurrency and Hardware Design, Advances in Petri Nets
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model
Proceedings of the tenth international symposium on Hardware/software codesign
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Formal verification of embedded system designs at multiple levels of abstraction
HLDVT '02 Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A modular simulation framework for architectural exploration of on-chip interconnection networks
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Microarchitecture Development via Metropolis Successive Platform Refinement
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Benefits and challenges for platform-based design
Proceedings of the 41st annual Design Automation Conference
Heterogeneous MP-SoC: the solution to energy-efficient signal processing
Proceedings of the 41st annual Design Automation Conference
Separation of concerns: overhead in modeling and efficient simulation techniques
Proceedings of the 4th ACM international conference on Embedded software
A Time Slice Based Scheduler Model for System Level Design
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Methods for evaluating and covering the design space during early design development
Integration, the VLSI Journal
Simulation based deadlock analysis for system level designs
Proceedings of the 42nd annual Design Automation Conference
SHIM: a deterministic model for heterogeneous embedded systems
Proceedings of the 5th ACM international conference on Embedded software
An overview of embedded system design education at berkeley
ACM Transactions on Embedded Computing Systems (TECS)
UML-based Design of Network Processors Applications
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
A Systematic Approach to Exploring Embedded System Architectures at Multiple Abstraction Levels
IEEE Transactions on Computers
A Framework for Component-based Construction Extended Abstract
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Design space exploration for a UMTS front-end exploiting analog platforms
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Embedded system education: a new paradigm for engineering schools?
ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Communication and co-simulation infrastructure for heterogeneous system integration
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Proceedings of the conference on Design, automation and test in Europe: Proceedings
FPGA architecture characterization for system level performance analysis
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Computation and communication refinement for multiprocessor SoC design: A system-level perspective
Proceedings of the 41st annual Design Automation Conference
A framework for embedded system specification under different models of computation in SystemC
Proceedings of the 43rd annual Design Automation Conference
Platform based design for wireless sensor networks
Mobile Networks and Applications
UML-based multiprocessor SoC design framework
ACM Transactions on Embedded Computing Systems (TECS)
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Towards a formal foundation for domain specific modeling languages
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Platform-based mixed signal design: Optimizing a high-performance pipelined ADC
Analog Integrated Circuits and Signal Processing
Verification approach of metropolis design framework for embedded systems
International Journal of Parallel Programming
Performance Evaluation of Packet Processing Architectures Using Multiclass Queuing Networks
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Design space exploration of reliable networked embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
A framework for heterogeneous specification and design of electronic embedded systems in SystemC
ACM Transactions on Design Automation of Electronic Systems (TODAES)
PeaCE: A hardware-software codesign environment for multimedia embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
EWD: A metamodeling driven customizable multi-MoC system modeling framework
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Proceedings of the conference on Design, automation and test in Europe
Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design
Microelectronics Journal
A SystemC-based design methodology for digital signal processing systems
EURASIP Journal on Embedded Systems
A framework for rapid system-level exploration, synthesis, and programming of multimedia MP-SoCs
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Interrupt modeling for efficient high-level scheduler design space exploration
ACM Transactions on Design Automation of Electronic Systems (TODAES)
SoCDAL: System-on-chip design AcceLerator
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Real-Time Management of Hardware and Software Tasks for FPGA-based Embedded Systems
IEEE Transactions on Computers
A framework for system-level modeling and simulation of embedded systems architectures
EURASIP Journal on Embedded Systems
Analyzing concurrency in streaming applications
Journal of Systems Architecture: the EUROMICRO Journal
Calibration of abstract performance models for system-level design space exploration
Journal of Signal Processing Systems - Special Issue: Embedded computing systems for DSP
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
SystemClick: a domain-specific framework for early exploration using functional performance models
Proceedings of the 45th annual Design Automation Conference
Proceedings of the conference on Design, automation and test in Europe
A Multi-objective and Hierarchical Exploration Tool for SoC Performance Estimation
SAMOS '08 Proceedings of the 8th international workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation
Automatic code generation and solution estimate for object-oriented embedded software
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Throughput-driven synthesis of embedded software for pipelined execution on multicore architectures
ACM Transactions on Embedded Computing Systems (TECS)
System-on-chip environment: a SpecC-based framework for heterogeneous MPSoC design
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects
Partial order method for timed simulation of system-level MPSoC designs
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Fast and accurate performance simulation of embedded software for MPSoC
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Memory subsystem simulation in software TLM/T models
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Area and power consumption estimations at system level with SystemQ 2.0
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Code transformation and instruction set extension
ACM Transactions on Embedded Computing Systems (TECS)
A framework for managing the life-cycle of event-driven, embedded applications
Journal of Embedded Computing - Design and Optimization for High Performance Embedded Systems
Specifying and Composing Non-functional Requirements in Model-Based Development
SC '09 Proceedings of the 8th International Conference on Software Composition
A platform-based design framework for joint SW/HW multiprocessor systems design
Journal of Systems Architecture: the EUROMICRO Journal
Towards a time-triggered schedule calculation tool to support model-based embedded software design
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Handling mixed-criticality in SoC-based real-time embedded systems
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
A compositional modelling framework for exploring MPSoC systems
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
SysCOLA: a framework for co-development of automotive software and system platform
Proceedings of the 46th Annual Design Automation Conference
Design perspectives on 22nm CMOS and beyond
Proceedings of the 46th Annual Design Automation Conference
Electronic system-level synthesis methodologies
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Towards multi-application workload modeling in sesame for system-level design space exploration
SAMOS'07 Proceedings of the 7th international conference on Embedded computer systems: architectures, modeling, and simulation
A methodology and supporting tools for the development of component-based embedded systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Generation and calibration of compositional performance analysis models for multi-processor systems
SAMOS'09 Proceedings of the 9th international conference on Systems, architectures, modeling and simulation
Versatile task assignment for heterogeneous soft dual-processor platforms
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Causal semantics for the algebra of connectors
Formal Methods in System Design
A tag machine based performance evaluation method for job-shop schedules
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
UMTS MPSoC design evaluation using a system level design framework
Proceedings of the Conference on Design, Automation and Test in Europe
Improving platform-based system synthesis by satisfiability modulo theories solving
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
MDE-based approach for generalizing design space exploration
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
SHIM: a deterministic model for heterogeneous embedded systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
An analytical model for multilevel performance prediction of Multi-FPGA systems
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
An approach for effective design space exploration
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Synthesizing glue operators from glue constraints for the construction of component-based systems
SC'11 Proceedings of the 10th international conference on Software composition
A practical ontology framework for static model analysis
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
A Model-Driven Design Framework for Massively Parallel Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)
Service based communication for MPSoC platform-SegBus
Microprocessors & Microsystems
Component-based analysis of embedded control applications
Innovations in Systems and Software Engineering
Embedded Systems Design
Automatic generation of hardware/software interfaces
ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
SystemQ: a queuing-based approach to architecture performance evaluation with systemc
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
A case for visualization-integrated system-level design space exploration
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
An ontology-based approach to heterogeneous verification of embedded control systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
Heterogeneous verification of cyber-physical systems using behavior relations
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
RCML: An Environment for Estimation Modeling of Reconfigurable Computing Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Application of Deadlock Risk Evaluation of Architectural Models
Software—Practice & Experience
Calibration of deployment simulation models: a multi-paradigm modelling approach
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
M&S-based design of embedded controllers on network processors
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
A passivity approach for model-based compositional design of networked control systems
ACM Transactions on Embedded Computing Systems (TECS)
metroII: A design environment for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Compositional heterogeneous abstraction
Proceedings of the 16th international conference on Hybrid systems: computation and control
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded systems evolution
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Design space exploration for high-level synthesis of multi-threaded applications
Journal of Systems Architecture: the EUROMICRO Journal
ASP-based optimized mapping in a simulink-to-MPSoC design flow
Journal of Systems Architecture: the EUROMICRO Journal
| Hi-index | 4.11 |
Today, the design chain lacks adequate support, with most system-level designers using a collection of unlinked tools. The implementation then proceeds with informal techniques involving numerous human-language interactions that create unnecessary and unwanted iterations among groups of designers in different companies or different divisions.The move toward programmable platforms shifts the design implementation task toward embedded software design. When embedded software reaches the complexity typical of today's designs, the risk that the software will not function correctly increases exponentially. The Metropolis project seeks to develop a unified framework that can cope with this challenge.