Search

Your search keyword '"Cinzia Bernardeschi"' showing total 2 results
Start Over Author "Cinzia Bernardeschi" Journal electronic proceedings in theoretical computer science
2 results on '"Cinzia Bernardeschi"'

1. Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation

Author

Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, and Cinzia Bernardeschi

Subjects
Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
Abstract

We are concerned with systems, particularly safety-critical systems, that involve interaction between users and devices, such as the user interface of medical devices. We therefore developed a MISRA C code generator for formal models expressed in the PVSio-web prototyping toolkit. PVSio-web allows developers to rapidly generate realistic interactive prototypes for verifying usability and safety requirements in human-machine interfaces. The visual appearance of the prototypes is based on a picture of a physical device, and the behaviour of the prototype is defined by an executable formal model. Our approach transforms the PVSio-web prototyping tool into a model-based engineering toolkit that, starting from a formally verified user interface design model, will produce MISRA C code that can be compiled and linked into a final product. An initial validation of our tool is presented for the data entry system of an actual medical device.

Published
2017
Full Text
View/download PDF

2. Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation

Author

Andrea Domenici, Cinzia Bernardeschi, Gioacchino Mauro, and Harold Thimbleby

Subjects
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, formal methods, MISRA C, Computer science, Systems and Control (eess.SY), code generation, 02 engineering and technology, lcsh:QA75.5-76.95, Computer Science - Software Engineering, FOS: Electrical engineering, electronic engineering, information engineering, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Code generation, User interface prototype, formal methods, code generation, MISRA C, business.industry, lcsh:Mathematics, 020207 software engineering, Usability, User interface prototype, computer.file_format, lcsh:QA1-939, Formal methods, Logic in Computer Science (cs.LO), 020202 computer hardware & architecture, User interface design, Software Engineering (cs.SE), Computer Science - Systems and Control, lcsh:Electronic computers. Computer science, Executable, User interface, Software engineering, business, computer
Abstract

We are concerned with systems, particularly safety-critical systems, that involve interaction between users and devices, such as the user interface of medical devices. We therefore developed a MISRA C code generator for formal models expressed in the PVSio-web prototyping toolkit. PVSio-web allows developers to rapidly generate realistic interactive prototypes for verifying usability and safety requirements in human-machine interfaces. The visual appearance of the prototypes is based on a picture of a physical device, and the behaviour of the prototype is defined by an executable formal model. Our approach transforms the PVSio-web prototyping tool into a model-based engineering toolkit that, starting from a formally verified user interface design model, will produce MISRA C code that can be compiled and linked into a final product. An initial validation of our tool is presented for the data entry system of an actual medical device., In Proceedings F-IDE 2016, arXiv:1701.07925

Published
2017

Catalog

Books, media, physical & digital resources
See catalog results