OOPM/RT: a multimodeling methodology for real-time simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
DATE '00 Proceedings of the conference on Design, automation and test in Europe
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experiment scheduling in faster-than-real-time simulation
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Real time simulation framework for RT-DEVS models
Transactions of the Society for Computer Simulation International - Recent advances in DEVS methodology--part II
On the distribution of control functions in new-generation on-board embedded real-time systems
Parallel and distributed real-time systems
A Case Study in the Reuse of On-board Embedded Real-Time Software
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Environment for the Development and Specification of Real-Time Ada Programs
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Formalizing Real-Time System Design
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
A Family-Oriented Software Development Process for Engine Controllers
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
System and Software Safety Analysis for the ERA Control Computer
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
PCM '02 Proceedings of the Third IEEE Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing
CONVERSE: a family-oriented software development process for engine controllers
Systems engineering for business process change
Engineering software reuse for on-board embedded real-time systems
Software—Practice & Experience
Schedulability analysis with UML
UML for real
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract
Proceedings of the conference on Design, automation and test in Europe - Volume 1
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Guide for the use of the Ada Ravenscar Profile in high integrity systems
ACM SIGAda Ada Letters
Journal of Parallel and Distributed Computing
Integrating schedulability analysis with UML-RT
Control and Intelligent Systems
Refactoring of an Ada 95 library with a Meta CASE tool
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
On the Construction of New-Generation On-Board Real-Time Systems
Integrated Computer-Aided Engineering
Real-time Java from an automated code generation perspective
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Ada 2005 code patterns for metamodel-based code generation
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Towards a model-driven engineering approach for developing embedded hard real-time software
Proceedings of the 2008 ACM symposium on Applied computing
ezRealtime: a domain-specific modeling tool for embedded hard real-time software synthesis
Proceedings of the conference on Design, automation and test in Europe
Validate, simulate, and implement ARINC653 systems using the AADL
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Impact of a restricted tasking profile: the case of the GOCE platform application software
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
A test environment for high integrity software development
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
SDL as UML: why and what panel
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A metamodel-driven process featuring advanced model-based timing analysis
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
An MDE methodology for the development of high-integrity real-time systems
Proceedings of the Conference on Design, Automation and Test in Europe
CHaRy: the C-LAB hard real-time system to support mechatronical design
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Scalable real-time system design using preemption thresholds
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
An Ada design pattern recognition tool for AADL performance analysis
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
A new strategy for the HRT-HOOD to ada mapping
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Component-Based design of embedded software: an analysis of design issues
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
Safety interfaces for component-based systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
SoftContract: model-based design of error-checking code and property monitors
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
SoftContract: model-based design of error-checking code and property monitors
UML Modeling Languages and Applications
ACM SIGBED Review - Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)
Hi-index | 0.00 |