| EPSRC Reference: |
GR/J07631/01 |
| Title: |
DYNAMIC MODELLING OF EMBEDDED SYSTEMS |
| Principal Investigator: |
Morris, Dr DT |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computation |
| Organisation: |
UMIST |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
06 September 1993 |
Ends: |
05 February 1996 |
Value (£): |
65,067
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The purpose of the research is to investigate how dynamic models of embedded systems can be constructed using commercially available tools, possibly enhanced by additional software. Further, the research aim is to explore how the dynamic modelling concept can become an integral part of an industrial strength Systems Engineering process and to demonstrate its feasibility to industry. Results will be published in book form.Progress:A Model-based Object Oriented Systems Engineering (MOOSE) method has been defined for the engineering of computer-based products, together with an associated notation. An experimental tool provision has been developed to capture and execute models in this notation. This has been achieved by adapting a commercially available CASE tool. MOOSE behavioural models have been created for systems suggested by the industrial collaborators, (ICL, BAe and GEC Alsthom) and some additional models have been built to evaluate alternative notations. The MOOSE method has become stable and the book is about 50% complete.Current work is focused on transformational codesign. This involves imposing upon behavioural models, design decisions based on the choice of the best means for realising functional behaviour. These decisions relate to: interface technology, the selection of hardware or software techniques for producing object behaviour and the need for and treatment of concurrency. Other finer scale decisions involve the selection of components and interconnection mechanisms. All of these decisions are made in the context of constraints represented by the non-functional requirements of the system, and they will need to be verified by analysis and experimentation based on the developing model. Results of the benefits of dynamic modelling of system behaviour and system development through the MOOSE method will be demonstrated to industry for large, complex product developments.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
|