Computer Science
Scientific paper
Jul 2002
adsabs.harvard.edu/cgi-bin/nph-data_query?bibcode=2002esasp.509e..32f&link_type=abstract
In: Proceedings of DASIA 2002, 13 - 16 May 2002, Dublin, Ireland. Ed.: R. A. Harris. ESA SP-509, Noordwijk, Netherlands: ESA Pub
Computer Science
Space Research: Computing, Software
Scientific paper
This paper presents the COTRE project whose goal is to define a tool
aided and pragmatic process for modelling and validating real-time
software architectures. Based on a common meta-model, various formal and
semi-formal approaches are being combined to set up an industrial
solution covering software requirements, design and implementation.
Dissaux P.
Farail P.
No associations
LandOfFree
COTRE - a new approach for modelling real-time software for avionics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with COTRE - a new approach for modelling real-time software for avionics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and COTRE - a new approach for modelling real-time software for avionics will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-733014