Title | ||
---|---|---|
A Design Method of Consumer Electronics Products Based on Supervisory Control and Model Checking |
Abstract | ||
---|---|---|
In this paper, we proposed a method to design consumer electronics products on the basis of supervisory control and model checking. Consumer electronics products are being exposed to the rapid changing of the market. To survive competition, they must be improved to adapt to the change. Supervisory control enables us to restrict the behavior of a product to fulfill given specifications. Model checking enables us to exhaustively and automatically check whether the controlled product preserves a requirement like logical correctness. The advantage of this method is to achieve a balance between the restriction and the requirement. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/ICCE-Berlin.2018.8576214 | 2018 IEEE 8th International Conference on Consumer Electronics - Berlin (ICCE-Berlin) |
Keywords | Field | DocType |
embedded system,design,supervisory control,model checking,Petri net | Petri net,Model checking,Unified Modeling Language,Software engineering,Supervisory control,Instruction set,Computer science,Correctness,Design methods,restrict | Conference |
ISSN | ISBN | Citations |
2166-6814 | 978-1-5386-6096-6 | 0 |
PageRank | References | Authors |
0.34 | 5 | 1 |