One area of interest of the Parallel Processing Research Group at Sheffield is the softwareengineering of embedded real-time industrial control applications. Many of these applications are considered as safety-critic...
详细信息
One area of interest of the Parallel Processing Research Group at Sheffield is the softwareengineering of embedded real-time industrial control applications. Many of these applications are considered as safety-critical. Formal techniques are often cited as highly reliable for both software development methods and formally proven hardware. It is envisaged that, for the foreseeable future, such rigorous techniques will rarely be applied in the full to the majority of industrial applications. CASE can, therefore, provide a standardised framework to encourage the development of more dependable software. As it stands, are CASE packages adequate for the analysis required to determine safeness, or can they at least indicate potential unsafeness, for these applications? The authors have investigated the use of a method (D. Hatley, 1988) from which the StP CASE tools. This raises several questions with regard to safety-critical applications some of which this paper addresses.< >
Discusses the software Process Maturity Model (SPMM). Its notions of process improvement and statistically based control of the main production activities are seen as the base concepts underlying the total quality mov...
详细信息
Discusses the software Process Maturity Model (SPMM). Its notions of process improvement and statistically based control of the main production activities are seen as the base concepts underlying the total quality movement, with its stress on continuing improvement against measured standards of achievement. Unfortunately the central focus of the TQ movement has excluded or been indifferent to many concerns central to the domain of information systems and softwareengineering, and only recently has this begun to be redressed. The author considers how the SPMM, now in its amended form of the Capability Maturity Model (CMM), represents the most sustained attempt to extend the TQ perspective to software-based systems: not a simple task, since the production-based assumptions of TQ do not transfer easily to the processes of information systems and software development.< >
CASE tools hold the key to a number of important aspects of system development. Automotive systems have reached a point in their development that demands a mature analysis and design approach. The authors describe how...
详细信息
CASE tools hold the key to a number of important aspects of system development. Automotive systems have reached a point in their development that demands a mature analysis and design approach. The authors describe how CASE tools offer the opportunity of communication between implementor and user and can help reduce the frequency of errors that occur in the very early stages of systems development. Hazard analysis, risk identification and containment and re-use are all potential benefits.< >
Some problems of system modelling and CASE technology are examined. In particular, the paper examines our tendency for us to continue to think in the same way (conceptual inertia), even when new approaches are called ...
详细信息
Some problems of system modelling and CASE technology are examined. In particular, the paper examines our tendency for us to continue to think in the same way (conceptual inertia), even when new approaches are called for. This can cause us to behave inappropriately, because we are not aware of the required change (a 'mind-set trap'). In particular, the underlying paradigm used in system development must be changed for full advantage to be taken of CASE. CASE tools should provide a generic framework to support integration of different paradigms and knowledge domains. Finally, the very idea of process maturity is examined to see if it contains implicit assumptions about the way systems will be provided.< >
Many organisations, including some of the largest ones, have moved away from 'all-singing all dancing' CASE solutions to 'budget' CASE tools providing support for only a fraction of their total softwar...
详细信息
Many organisations, including some of the largest ones, have moved away from 'all-singing all dancing' CASE solutions to 'budget' CASE tools providing support for only a fraction of their total software development activities. Other organisations are focusing their efforts on the software process and how to increase its maturity. Key issues for them are how it can be defined, measured, improved and eventually automated. Are these two 'philosophies', CASE and process, mutually exclusive alternatives or can thoughtful organisations put CASE and process together to get real benefits? This paper contends that they can and will look at the relationships between CASE and process and explore the issues surrounding the question of whether one needs advanced maturity for CASE or CASE for advanced maturity.< >
computeraidedsoftware/Systems engineering (CASE) is one of the latest approaches to solving the problems of generating softwareapplications quickly. CASE is the automation of softwareengineering methods and practi...
详细信息
computeraidedsoftware/Systems engineering (CASE) is one of the latest approaches to solving the problems of generating softwareapplications quickly. CASE is the automation of softwareengineering methods and practices, with the use of automated tools to support the creation of computerapplications. The authors examine the level of life cycle support that tools provide, the methods of increasing efficiency and quality, and the benefits and problems sophisticated integrated-CASE (ICASE) tools bring. Conclusions are drawn as to whether CASE achieves the goal of speeding up software development, while still maintaining a high degree of confidence in the quality of the systems produced.< >
Although it is well understood to be a generally undecidable problem, a number of attempts have been made over the years to develop systems to automatically generate test data to achieve a level of coverage (branch co...
详细信息
Although it is well understood to be a generally undecidable problem, a number of attempts have been made over the years to develop systems to automatically generate test data to achieve a level of coverage (branch coverage for example). These approaches have ranged at early attempts at symbolic execution to more recent dynamic approaches and, despite their variety (and varying degrees of success), all the systems developed have involved a detailed analysis of the program or system under test. In a departure from this approach, this paper describes a system developed to explore the use of genetic algorithms to generate test data to automatically meet a level of coverage.
Product quality depends upon processe quality: it is the process that delivers the required attributes, and as soon as we start asking any interesting questions about a software product we immediately have to ask ques...
详细信息
Product quality depends upon processe quality: it is the process that delivers the required attributes, and as soon as we start asking any interesting questions about a software product we immediately have to ask questions about the process. Against this background, the author asks: what is the relationship between process maturity and process quality; and what is the role of CASE in promoting process quality. The term process maturity has no generally accepted definition. However, for purposes of discussion the author assumes that the term implies concepts closely akin to those embodied in SEI's Capability Maturity Model (CMM).< >
Describes the use of computational fluid dynamics (CFD) by ERA Technology Ltd. to investigate heat transfer and airflow in electronic systems. Because computing time is the limiting factor in simulating most real prob...
详细信息
Describes the use of computational fluid dynamics (CFD) by ERA Technology Ltd. to investigate heat transfer and airflow in electronic systems. Because computing time is the limiting factor in simulating most real problems, techniques for simplifying the representations are described. This is followed by an example which shows that, with the simplifying assumptions used, accurate results may still be obtained.< >
Many software developers are now employing computeraidedsoftwareengineering (CASE) tools and although the CASE tools themselves vary enormously in both intrinsic quality and capability, they are generally seen as b...
详细信息
Many software developers are now employing computeraidedsoftwareengineering (CASE) tools and although the CASE tools themselves vary enormously in both intrinsic quality and capability, they are generally seen as beneficial. But what role do CASE tools play in the development of software for high-integrity systems? The author first expands the definition of high-integrity systems design before going on to place CASE tools in context.< >
暂无评论