Uma Abordagem Para Desenvolvimento de Software de Sistemas de Tempo Real Crítico em Arquiteturas Distribuídas

• Paulo Roberto Pierri Tepedino IPMet / Unesp
• Tereza Gonçalves Kirner UFSCar

DOI: https://doi.org/10.5753/sbes.1993.24403

Resumo

Esse artigo apresenta uma abordagem integrada para o desenvolvimento de software de sistemas de tempo real crítico em arquiteturas distribuídas. A abordagem abrange a especificação e o projeto deste tipo de software e seu principal objetivo é procurar garantir um dos requisitos fundamentais desses sistemas, que é a previsibilidade. É empregada uma modelagem baseada em grafo, em conjunto com escalonamento Pre-Run-Time ótimo, para especificar, projetar e verificar e validar a computação necessária. Isto confere à abordagem características importantes, tais como, eficiência, eficácia e a possibilidade de um refinamento sucessivo, através de iterações entre as suas fases.

Referências

Bowen, J. & Stavridou, V. Safety-Critical Systems, Formal Methods and Standards. Oxford, UK, Oxford University, 1992, 36p.

Davis, A. M. A Comparison of Techniques for the Specification of External System Behavior. Communications of the ACM, 31(9): 1098-1115, Setembro, 1988.

Harel, D. On Visual Formalisms. Communications of the ACM, 31(5): 514-531, Maio, 1988.

Koymans, R. & Kuiper, R. Paradigms for Real Time Systems. Lecture Notes in Computer Science, Spring Verlag, 331: 159-174, Setembro, 1988.

Leveson, N. G. The Challenge of Building Process Control Software. IEEE Software, 55-62, Novembro, 1990.

Leveson, N. G. Software Safety in Embedded Computer Systems. Communications of the ACM, 34-46, Fevereiro, 1991.

Mok, A. K. L. Fundamental Design Problems of Distributed Systems for the Hard-Real-Time Environment. Cambridge, MA, EUA, MIT, 1983. 183p.

Mok, A. K.L. The Design of Real-Time Programming Systems Based on Process Models. In: IEEE Real-Time Systems Symposium, Los Alamitos, CA, EUA, Dezembro, 1984. Austin, EUA, IEEE Press, 1984, 5-17.

Neumann, P. G. Risks: Cumulative Index of Software Engineering Notes - Ilustrative Risks to The Public. ACM Software Engineering Notes, 22-26, Janeiro, 1989.

Nielsen, K. Ada in Distributed Real-Time Systems. 1.ed. New Yord, NY, EUA, McGraw-Hill Book Company, 1990. 371p.

Pressman, R. S. Software Engineering: A Practitioner's Approach. 2.ed. Singapore, McGraw-Hill Inc., 1987. 352p.

Pyle, I. C. Real-World Software Engineering. Software Engineering Journal, 68-71, Maio, 1991,

Roberts, R. D. & Wilson J. W. A Proposed Microburst Nowcasting Procedure Using Single Doppler Radar. Journal of Applied Meteorology, 28: 285-303, Abril, 1989.

Shepard, T. & Gagné, J. A. M. A Pre-Run-Time Scheduling Algorithm For Hard Real-Time Systems. IEEE Transactions on Software Engineering, 17(7): 669-677, Julho, 1991.

Stankovic, J. A. Misconceptions About Real Time Computing: A Serious Problem for Next-Generation Systems. IEEE Computer, 10-19, Outubro, 1988.

Tepedino, P. R. P. Uma Abordagem de Desenvolvimento de Software de Sistemas de Tempo Real Crítico em Arquiteturas Distribuídas. São Carlos, UFSCar, Julho, 1993, 165p.

Tepedino, P. R. P. & Kirner, T. G. Produtividade e Qualidade no Desenvolvimento de Software Distribuído de Sistemas de Tempo Real Crítico: O Emprego de Métodos Formais e Modelo de Grafo. In: XXVI Congresso Nacional de Informática e Telecomunicações, Brasília, DF, Outubro, 1993.

Ward, P. & Mellor, S. J. Structured Development for Real-Time Systems. 1.ed. London, England, Yourdon Press, 1985. 155p.

Xu, J. & Parnas, D. L. On Satisfying Timing Constraints in Hard-Real-Time Systems. In: Conference on Software for Critical Systems, New Orleans, Louisiana, EUA, 1991. ACM Press, 1991, 132-146.

Yourdon, E. Modern Structured Analysis. 2.ed. Englewood Cliffs, New Jersey, EUA, Prentice-Hall Inc., 1989, 672p.