Ingenierías USBMed
Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
PDF

Cómo citar

Kinirty, J. A. (2011). Métodos formales para verificar los nuevos desarrollos en sistemas de transporte. Ingenierías USBMed, 2(1), 15–17. https://doi.org/10.21500/20275846.243

Resumen

El acelerado desarrollo de los sistemas ciber-físicos modernos y el incremento en la complejidad de su diseño y análisis, requiere nuevas tecnologías para realizar los procesos de verificación e integración. Debido a la base matemática que los sustenta y al incremento constante en la efectividad de sus procedimientos, los métodos formales son los llamados a proporcionar esas tecnologías. En este artículo se comparan los procesos de verificación formal y la tradicional herramienta de simulación para verificar sistemas ciber-físicos.

https://doi.org/10.21500/20275846.243
PDF

Citas

J. A. Stankovic, I. Lee, A. Mok & R. Rajkumar. “Opportunities and obligations for physical computing systems”. Computer, Vol. 38, No. 11, pp. 23-31. 2005.

B. Brosgol & C. Comar. “DO-178C: A New Standard for Software Safety Certification”. SSTC 2010, Salt Lake City, Utah, USA. 2010.

E. A. Lee. “Cyber-Physical Systems - Are Computing Foundations Adequate?” NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap. Austin, USA, Oct. 16-17. 2006.

E. A. Lee. “Cyber Physical Systems: Design Challenges”. Invited Paper International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). Orlando, USA, May 5-7. 2008.

J. Wegener & F. Mueller. “Comparison of static analysis and evolutionary testing for the verification of timing constraints”. Real-Time Systems, Vol. 21, No. 3, pp. 241-268. 2001

M. Broy. “Functional specification of time-sensitive communicating systems”. ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 1, pp. 1-46. 1993

R. Venkatasubramanian, J. P. Hayes & B. T. Murray. “Lowcost on-line fault detection using control low assertions”. International On-Line Testing Symposium. Kos Island, Greece, pp. 137-143. 2003.

Esta revista provee acceso libre inmediato a su contenido bajo el principio de hacer disponible gratuitamente las investigaciones al publico y apoyando un mayor intercambio de conocimiento global. 

Por tanto se acoge a la Licencia Creative Commons 4.0 Atribución- no comercial-sin derivadas (by-nc-nd): permite copiar y redistribuir el material en cualquier medio o formato, No se permite un uso comercial de la obra original ni de las posibles obras derivadas,  Si remezcla, tansforma o crea a partir del material, no podrá distribuir el material modificado.
 

Costos de procesamiento y presentación de los artículos

El procesamiento y publicación en Ingenierías USBMed no tiene costo.

Política de acceso abierto

Ingenierías USBMed proporciona un acceso abierto inmediato a su contenido, basado en el principio de ofrecer al público un acceso libre a las investigaciones ayudando a un mayor intercambio global de conocimiento. Por tanto se acoge a la Licencia Creative Commons 4.0 Atribución- no comercial-sin derivadas (by-nc-nd): permite copiar y redistribuir el material en cualquier medio o formato, No se permite un uso comercial de la obra original ni de las posibles obras derivadas,  Si remezcla, tansforma o crea a partir del material, no podrá distribuir el material modificado.

Derechos de Autor (Copyrigt)

La totalidad de los contenidos de Ingenierías USBMed, e-ISSN 2027-5846 están registrados y protegidos por las leyes de protección de la propiedad intelectual. Los derechos de propiedad intelectual de cada artículo son cedidos por sus autores a Ingenierías USBMed. Al someter el manuscrito, y únicamente en caso de ser aceptado para publicación, los autores aceptan que el copyright de su artículo queda transferido a Ingenierías USBMed. No obstante, se consideran todas las solicitudes de autorización por parte de los autores con fines de reproducción de sus artículos. Igualmente, Ingenierías USBMed otorga permiso de acceso para usuarios y bibliotecas. Ingenierías USBMed apoya el libre acceso a la literatura científica dicho copyright pide el respeto de los derechos morales, principalmente el reconocimiento de su autoría y el respeto a la integridad de la obra, evitando dentro de lo posible alteraciones, traducciones o falsificaciones. Al ser Ingenierías USBMed una publicación electrónica de carácter científico que publica trabajos de investigación científica y tecnológica, artículos de reflexión o artículos de revisión, el objetivo prioritario tanto de los los autores como de Ingenierías USBMed es lograr la mayor difusión de los artículos, para lo cual los autores ceden a Ingenierías USBMed sus derechos, únicamente a cambio del reconocimiento intelectual, moral y laboral, al considerarse que es una materia no de ocio o entretenimiento, sino de fuerte interés social, por su carácter científico.

Política Ética

Los autores deben actuar de forma ética en los procesos requeridos para la publicación de sus artículos en Ingenierías USBMed. Para esto, los autores y miembros de la revista se deben acoger a la politica de Ética editorial de la Editorial Bonaventuriana, disponible en el siguiente link: Manual editorial

Responsabilidad de contenidos

El contenido de los artículos publicados por Ingenierías USBMed es de exclusiva responsabilidad del (os) autor(es) y no necesariamente refleja el pensamiento del comité editorial y científico de la revista Ingenierías USBMed. Los textos pueden reproducirse total o parcialmente citando la fuente.

Descargas

Los datos de descargas todavía no están disponibles.