Lucas Aerospace has created a special proprietary language, called LUCOL, which it uses to develop the software for producing safety critical control systems for aerospace applications. Lucas Aerospace employs several...
详细信息
Lucas Aerospace has created a special proprietary language, called LUCOL, which it uses to develop the software for producing safety critical control systems for aerospace applications. Lucas Aerospace employs several tools to support the rigorous test coverage analysis requirements necessary to meet current standards, particularly RTCA DO-178B. The company is also considering the use of computeraided test coverage analysis to reduce the test effort by removing the need for a significant number of low level tests.
The computeraided Knowledge engineering (CAKE) project is creating a set of computer-based tools that aid in the construction of real-time expert systems - the primary application domain being the process and manufac...
详细信息
The computeraided Knowledge engineering (CAKE) project is creating a set of computer-based tools that aid in the construction of real-time expert systems - the primary application domain being the process and manufacturing industries. A principal aim of the project is to alleviate the often-cited 'knowledge-acquisition bottle-neck' by moving the knowledge engineering task away from a specialist knowledge engineer towards the domain expert. The tool introduced in this paper, T-CAKE, aids in the specification and construction of a temporal model of a plant and its associated expert system. The temporal model, expressed in the form of a Quirk model, provides the basis of the temporal verification which is subsequently carried out on the system and used to prove that a system will meet the timing constraints imposed upon it.
Considers how a CASE tool could be used to develop Occam code for transputer systems. Most CASE tools enable designs to be created which are later implemented in a sequential language such as Ada, C, Pascal or Fortran...
详细信息
Considers how a CASE tool could be used to develop Occam code for transputer systems. Most CASE tools enable designs to be created which are later implemented in a sequential language such as Ada, C, Pascal or Fortran. As the number of multi-processor systems is rapidly increasing thus there is a need for a new CASE tool. The parallel CASE tool proposed in this paper is fairly restricted. Transputer systems are being used in many real-time control problems.< >
Increasingly sophisticated microprocessor based control of cars e.g. engine control to reduce exhaust pollutants and save petrol, is likely to be limited by software rather than hardware and so tools supporting car so...
详细信息
Increasingly sophisticated microprocessor based control of cars e.g. engine control to reduce exhaust pollutants and save petrol, is likely to be limited by software rather than hardware and so tools supporting car software development are required. The author describes how the automotive industry has been amongst the leaders in recognizing the advantages to be gained from CASE.< >
The topics traditionally associated with control engineering courses at undergraduate level are, typically: dynamic modelling of physical systems, principles of linear systems, feedback theory and digital control syst...
详细信息
The topics traditionally associated with control engineering courses at undergraduate level are, typically: dynamic modelling of physical systems, principles of linear systems, feedback theory and digital control systems. Modern control systems depend heavily on software for their implementation and the authors believe that it is advisable to integrate the teaching of control engineering with real-time systems and softwareengineering. They describe the first stage of development of a course to achieve these aims within their undergraduate curriculum at Bangor University. They focus on softwareengineering for real-time control systems.< >
Recent years have seen a rapid increase in the use and application of analysis simulation. With increasing power of computers and relative decreasing hardware costs, the use of these methods within the design process ...
详细信息
Recent years have seen a rapid increase in the use and application of analysis simulation. With increasing power of computers and relative decreasing hardware costs, the use of these methods within the design process has become more common. Finite Element Analysis is typical of many advanced analysis tools and is used as an example. Some analysis guidelines have been developed based on experience gained in using the finite element method closely linked with the design process. It is hoped that this insight into day to day problems will give valuable guidelines for engineers faced with the decision process at the start of a design project. The guidelines have been categorised as follows: general ground rules, analysis choice, upgrades, input(pre-processing), computer resources, output(post-processing), software integration, training, and risks.
The product ISA (Initialisation and Support application), is a real time system which provides the soft functionality for the Node Support computer of the ICL SX Node. Its main functions are control of initial program...
详细信息
The product ISA (Initialisation and Support application), is a real time system which provides the soft functionality for the Node Support computer of the ICL SX Node. Its main functions are control of initial program load, error management of fatal node hardware and software failures, support of in-line recovered node failure, support of remote diagnostic access to the node and support of 'ancillary' units (e.g. Power Control System). A requirement of the ISA Project was to improve productivity and delivered product quality from that achieved with the earlier equivalent products. To meet this requirement decisions were made to put increased emphasis on the analysis and design phases, to introduce a design methodology and to introduce design support tools. It was decided that the ISA Project should adopt an established and proven methodology. The authors discuss the adoption of the Ward and Mellor Methodology which is based on the Yourdon Systems Analysis and Design Technique.< >
With the increase in organisational maturity, the software process is institutionalised through policies, standards and organisational structures. The question is how does CASE fit in with this growing maturity. In ot...
详细信息
With the increase in organisational maturity, the software process is institutionalised through policies, standards and organisational structures. The question is how does CASE fit in with this growing maturity. In other words, what CASE strategies should be developed and what impact will they have on the organisational structures. The author considers how one should develop a CASE strategy.< >
Describes the architecture of a development environment for computer-aided parallel softwareengineering. The environment comprises tools for program design, simulation, run-time support and behaviour analysis. tools ...
详细信息
Describes the architecture of a development environment for computer-aided parallel softwareengineering. The environment comprises tools for program design, simulation, run-time support and behaviour analysis. tools are invariably interactive, depending in large part on graphical and visualisation support. SEPP (softwareengineering for Parallel Processing) is an EU-funded consortium of nine partners in Eastern and Western Europe, whose aim is to realise the architecture through the development of practical tools.< >
Traditionally there has been an emphasis on the use of graphical procedures within control system engineering to visualise the system and this has been widely exploited in generations of computeraided design packages...
详细信息
Traditionally there has been an emphasis on the use of graphical procedures within control system engineering to visualise the system and this has been widely exploited in generations of computeraided design packages such as the MATLAB toolboxes. In classical linear systems theory, frequency domain representations such as Bode and root locus techniques, using 2-d graphics terminals, allows the engineer to assess very rapidly the behaviour of the system and picture, in a broad sense, the effect of compensation on it. The more complex analysis required for two dimensional systems suffer via the use of 2-d graphics terminals as two dimensional representations may limit the complexity, or two dimensional representations of higher dimensions may hide features of interest. It is proposed that powerful three dimensional graphical and visualisation techniques, which allow construction of a virtual environment in which the user is completely immersed, could provide a solution. Using Silicon Graphics hardware and software, virtual environments have been created to aid in the analysis and design of 2-d systems. The environments initially created allow the user to interact with gain and frequency response plots for 2-d systems. Evaluation is currently underway as to how these may be extended to aid the designer. Current work also includes the visualisation of poles and zeros for 2-d systems, with expectations that this may lead to a possible root locus type tool.
暂无评论