Registro:

Referencias:

• Alur, R., Dill, D., Automata for modeling real time systems (1990) Proceedings of 17the International Colloquium on Automata Languages and Programming
• Audsley, N.C., Burns, A., Richardson, M., Tindell, K., Wellings, A., Applying new scheduling theory to static priority preemptive scheduling (1993) Software Engineering Journal, 8 (5), pp. 284-292. , September
• Audsley, N.C., Burns, A., Richardson, M.F., Wellings, A.J., Stress: A simulator for hard real-time systems (1994) Software Practice and Experience
• Avrunin, G.S., Corbett, J.C., Dillon, L.K., Analyzing partially implemented real- Time systems (1997) Proceedings of the International Conference on Software Engineering, pp. 228-238. , May
• Bass, L., Clements, P., Kazman, R., Software Architecture in Practice, , Addisson Wesley, SEI series in Software Engineering
• Ben-Abdallah, H., Kim, Y.S., Lee, I., Schedulability and safety analysis in the graphical communicating shared resources (1996) Proc. of IEEE Workshop on Object Oriented Real-Time Dependable Systems, , February
• Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W., Uppaal- A tool suite for the automatic verification of real-time systems (1996) Proceedings of Hybrid Systems III, pp. 232-243. , LNCS 1066. Spriger Verlag
• Braberman, V., Felder, M., Verification of Real-Time Designs, , TR-99-001. Departameto de Computacion. FCEyN. UBA
• Burgueno, A., Rusu, V., Task-system analysis using slope-parametric hybrid automata (1997) Euro-Par'97 Workshop on Real-Time Systems and Constraints, , Passau, Germany, August 26-29
• Buttazzo, G., (1997) Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, , Kluwer Academic Publishers, Boston
• Campos, S., Clarke, E., Marrero, W., Minea, M., Verus: A tool for quantitative analysis of finite state real-time systems (1995) Proceedings of SIGPLAN
• Cheung, S.C., Kramer, J., Checking safety properties using compositional reachability analysis (1999) Transactions on Software Engineering and Methodology, pp. 49-79. , January
• Corbett, J.C., Timing analysis of ada tasking programs (1996) IEEE Transaction on Software Engineering, 22 (7). , July
• Daws, C., Olivero, A., Tripakis, S., Yovine, S., The tool kronos (1996) Proceedings of Hybrid Systems III, pp. 208-219. , LNCS 1066, Spriger Verlag
• Dwyer, M., Pasareanu, C., Filter-based model checking of partial systems (1998) Proceedings of ACM SIGSOFT FSE, , November
• Felder, M., Pezze, M., A formal approach to the design of real-time systems (1997) WorkShop KIT, 125. , September
• Fredette, A.N., Cleaveland, R., Rtsl: A formal language for real-time schedulability analysis (1993) Proceedings of the Real-Time Systems Symposium, pp. 274-283. , Durham, North Carolina, December, Computer Society Press
• Gerber, R., Hong, S., Saksena, M., Guaranteeing real-time requirements with resource-based calibration of periodic process (1995) IEEE Transaction on Software Engineering, 21 (7). , July
• Harbour, M.G., Klein, M.H., Lehoczky, J.P., Timing analysis for fixed-priority scheduling of hard real-time systems (1994) IEEE Transaction on Software Engineering, 20 (1), pp. 13-28. , January
• Henzinger, T.A., Sooner is safer than later (1992) Information Processing Letters, 43, pp. 135-141
• Humprey, M., Stankovic, J., Caisarts: A tool for real-time scheduling assistance Proceedings of the IEEE 1995 ReaTime System Symposium
• Klein, M.H., Lehoczky, J.P., Rajkumar, R., Rate monotonic analysis for real-time industrial computing (1994) IEEE Computer, , January
• Klein, M.H., Ralya, T., Pollak, P., Obenza, R., Harbour, M.G., (1993) A Practitioner's Handbook for Real-Time Analysis - Guide to Rate Monotonic Analysis for Real Time Systems, , Software Engineering Institute. Kluwer academic Publishers
• Liu, J.W.S., Redondo, J.L., Deng, Z., Tia, T.S., Shih, W., Beattati, R., Perts: A prototyping environment for real-time systems Proceedings of the IEEE 1993 Real Time Systems Symposium
• Parashkevov, A., Yantchev, J., Arc - A verification tool for concurrent systems (1996) Proceedings of the Third Australasian Parallel and Real-Time Conference, , Brisbane, Australia, September
• (1992) Real-Time Extensions for Portable Operating Systems, , IEEE Computer Society. IEEE POSIX.4
• Saksena, M., Ptack, A., Freedman, P., Rodziewics, P., Schedulability analysis for automated implementations of real-time object-oriented models (1998) Proceedings of the Real-Time Systems Symposium, , Madrid, Spain, December, Computer Society PressA4 - ACM SIGSOFT; CEPIS; SUPAERO; ONERA

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------