El presente trabajo propone una metodología de desarrollo de sistemas de tiempo real que hace un énfasis especial en la consideración de los requisitos no funcionales característicos de este tipo de sistema como los ...