System design validation using formal models

Proceedings Tenth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype (Cat. No.PR00246) ◽

10.1109/iwrsp.1999.779024 ◽

2003 ◽

Author(s):

P. Henderson ◽

R. Walters

Keyword(s):

System Design ◽

Formal Models ◽

Design Validation

Download Full-text

A knowledge-assisted visual malware analysis system: Design, validation, and reflection of KAMAS

Computers & Security ◽

10.1016/j.cose.2017.02.003 ◽

2017 ◽

Vol 67 ◽

pp. 1-15 ◽

Author(s):

Markus Wagner ◽

Alexander Rind ◽

Niklas Thür ◽

Wolfgang Aigner

Keyword(s):

System Design ◽

Malware Analysis ◽

Design Validation ◽

Analysis System

Download Full-text

A novel modular and dispatchable CSP Stirling system: Design, validation, and demonstration plans

10.1063/1.5117591 ◽

2019 ◽

Author(s):

Torbjörn Lindquist ◽

Jonas Karlsson ◽

Jonas Wallmander ◽

Rafael Guedez ◽

Maria-Lina Hedlund ◽

...

Keyword(s):

System Design ◽

Design Validation

Download Full-text

Building resilience with the Stress Resilience Training System: Design validation and applications

Work ◽

10.3233/wor-162295 ◽

2016 ◽

Vol 54 (2) ◽

pp. 351-366 ◽

Author(s):

Ewart J. de Visser ◽

Alix Dorfman ◽

Donald Chartrand ◽

Jonathan Lamon ◽

Elan Freedy ◽

...

Keyword(s):

System Design ◽

Training System ◽

Design Validation ◽

Stress Resilience ◽

Building Resilience ◽

Resilience Training

Download Full-text

Telemetry of electrophysiologic variables from conscious dogs: System design, validation, and serial studies

American Heart Journal ◽

10.1016/0002-8703(84)90139-x ◽

1984 ◽

Vol 107 (1) ◽

pp. 90-96 ◽

Author(s):

David Rubenson ◽

Jerry C. Griffin ◽

Ford Andrew ◽

John Claude ◽

Bruce Reitz ◽

...

Keyword(s):

System Design ◽

Conscious Dogs ◽

Design Validation

Download Full-text

Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-on-Chip

Architecture and Design of Distributed Embedded Systems - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35409-5_10 ◽

2001 ◽

pp. 99-110 ◽

Author(s):

N. E. Zergainoh ◽

A. Baghdadi ◽

L. Tambour ◽

D. Lyonnard ◽

A. A. Jerraya

Keyword(s):

System Design ◽

System On Chip ◽

Multiprocessor System ◽

Design Validation ◽

Fast Prototyping ◽

Download Full-text

Formal models for system design (challenges on exchanges in the main role between hardware and software going to the systems packaging)

27th International Spring Seminar on Electronics Technology: Meeting the Challenges of Electronics Technology Progress, 2004. ◽

10.1109/isse.2004.1490879 ◽

2005 ◽

Author(s):

I.E. Ivanov ◽

V.E. Georgiev

Keyword(s):

System Design ◽

Main Role ◽

Formal Models ◽

Design Challenges

Download Full-text

Formal models for embedded system design

IEEE Design & Test of Computers ◽

10.1109/54.844330 ◽

2000 ◽

Vol 17 (2) ◽

pp. 14-27 ◽

Author(s):

M. Sgroi ◽

L. Lavagno ◽

A. Sangiovanni-Vincentelli

Keyword(s):

Embedded System ◽

System Design ◽

Formal Models ◽

Embedded System Design

Download Full-text

Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures

2008 Design, Automation and Test in Europe ◽

10.1109/date.2008.4484666 ◽

2008 ◽

Author(s):

Nicolas Coste ◽

Hubert Garavel ◽

Holger Hermanns ◽

Richard Hersemeule ◽

Yvain Thonnart ◽

...

Keyword(s):

Embedded System ◽

System Design ◽

Quantitative Evaluation ◽

Design Validation ◽

Embedded System Design ◽

Multithreaded Architectures

Download Full-text

TOWARDS A COMMUNITY FOR INFORMATION SYSTEM DESIGN VALIDATION

Proceedings of the 12th International Conference on Enterprise Information Systems ◽

10.5220/0003016503620367 ◽

2010 ◽

Keyword(s):

Information System ◽

System Design ◽

Design Validation ◽

Information System Design

Download Full-text

Analyses for Durability and System Design Lifetime

10.1017/cbo9780511546136 ◽

2007 ◽

Author(s):

Joseph H. Saleh

Keyword(s):

Download Full-text