NDLI: A test strategy for the distributed real-time system MARS

Please wait, while we are loading the content...

1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production

CompEuro 1992 Proceedings Computer Systems and Software Engineering

[1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications

COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems

Systems engineering approach to time driven systems

Implementation of a flight trainer simulator using a microprocessor based network: a system architecture selection report

Towards an object oriented method for system architecture design

A test strategy for the distributed real-time system MARS

CATS: computer aided testing system

Combined application/datafault recovery

Further experience with an integrated project support environment (IPSE)

Hardware allocation in FIDIAS system

Dynamo: a time-based object-oriented model to support distributed collaborative development

A risk driven reasoning-based development paradigm for high performance trusted system in Ada

Requirements analysis and specification of embedded systems using ESCAM-a case study

Architecture, software and complexity

Massively Concurrent Computer: the configuration problem

Experience in modeling a concurrent software system using STATEMATE

Hierarchical specification of reactive systems: a case study

Experience in data and process modelling at Thyssen Steel

TABA: a heuristic workstation for software development

A design tool for fault tolerant software

Methodologies and CASE tools-the missing link

An efficient implementation of Boolean functions and finite state machines as self-time circuits

A new software paradigm for system design

KADS: a methodology for developing large AI systems

GPRS-a knowledge based design shell

Design of a general blackboard shell

Robot programming with a genetic algorithm

Practical visual techniques for joint refinement of structure and temporal behaviour in reactive system design

Temporal-causal system specification

Enhancing the software maintenance factor in JSD using rules

Ergonomic software and software engineers

The Sigma igma game for management

The software estimation dilemma, a small step forward

Top down design of distributed systems: implications of a case study

Avionic system development and integration

The T/D avionics integration methodology

An application generator for a family of real-time monitor and control systems

Executing JSD specifications: the specification presentation tool

Real-time pattern matching technique for executable SA/RT specifications

CRUISE-creative user interface for software engineering: an overview

LAN software development and integration environment

Software environment for complex machine programming

Knowledge-based approach for parallel software verification

Rapid assessment of decentralized algorithms

VLSI technology: outlook for the year 2000 and its impact on systems

System engineering from buzzwords to megatrends: the real design issues of the next decade

Some complexities in computerbased systems and their implications for system development

Development and management of large-scale corporate data processing systems in industrial companies

Requirements of complex computer-based engineering in the motor industry

Configuration programming-a framework for the development of distributable systems

Design of embedded, real-time systems: developing a method for practical software engineering

Distributed application engineering: an integrated model, language and tool approach

Architecture and design of a pseudo two-port VLSI snoopy cache memory

Functional memory array testing

Prototyping revisited

Simulation vs. prototype execution: a case study

A concurrent prototype in Smalltalk-8

Scalable Coherent Interface

Data confidentiality service on top of transmission control protocol/internet protocol

Interconnect optimisation for multiprocessor architectures

Uncertainty in computer application is certain-software engineering as a control

On system reliability and verification

Complexity and uncertainty in software design

A comparative case study of prototyping tools-experiences and conclusions

QUISAP: an environment for rapid prototyping of real-time systems

Rapid prototyping through graphical operational specification and automated code generation

Stepwise object-oriented system design

Automated state-based analysis of distributed systems

The computer architect's workbench

Paging strategies in an object oriented environment

Evaluation of simulation strategies for computer networks on parallel MIMD computers

The architecture of Alpes: an open and extendible programming environment

Configuration management-integration of software and hardware at top-level management

A software process model with iteration

The Archive Manager

Extending modular languages with persistent data

A formal approach to system design and refinement

Sub-system design

A literate programming design language

An exception handling mechanism for communicating sequential process and its verification rules

Evaluation of LOTOS based transformational environments

Requirements for requirements-a practitioner's approach

SOLOG-system object oriented logic development

VLSI implementation of modulo-arithmetic units using 2-D cellular automata

A new software tool for testability analysis of complex VLSI devices

VLSI architectures for object recognition

Market research of hardware and software with partial-order classification

Information systems architecture: a consulting methodology

COMPEURO '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering (Cat. No.90CH2867-0)

Proceedings. VLSI and Computer Peripherals. COMPEURO 89

[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools

A test strategy for the distributed real-time system MARS

Content Provider	IEEE Xplore Digital Library
Author	Schutz, W.
Copyright Year	1990
Description	Author affiliation: Tech. Univ. of Vienna, Austria (Schutz, W.)
Abstract	The testing of real-time systems within the framework of the distributed real-time system MARS (maintainable real-time system), is considered. After a brief survey of the available literature and an overview of the background of this work, a proposed test strategy for MARS is described and two architectures for testbeds that allow actual test execution in two different test modes are derived. The specification, development and implementation on one specific test tool, the environmental simulator, is considered and its use in the proposed test strategy is discussed. The principles described are being applied to the construction of an experimental application for MARS.<>
Starting Page	20
Ending Page	27
File Size	764827
Page Count	8
File Format	PDF
ISBN	0818620412
DOI	10.1109/CMPEUR.1990.113604
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1990-05-08
Publisher Place	Israel
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	System testing Real time systems Mars Software testing Application software Humans Programming Computational modeling Electrical equipment industry Industrial control
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in