Abstract | ||
---|---|---|
The presented software development process bases on extended timestamp nets (Petri net with an underlying time concept) and a logic of actions which allows to specify pro- cesses. By means of an example, the phases of the develop- ment process are discussed and the most important terms of the theory are explained. Since we can do direct and indi- rect proofing in the logic, we verify the developed controller with respect to process-like specifications. Moreover, also situation-like specifications can be tested. In this way, we put the machine virtually into operation. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1109/ROBOT.2001.932530 | Robotics and Automation, 2001. Proceedings 2001 ICRA. IEEE International Conference |
Keywords | Field | DocType |
Petri nets,control system CAD,control system analysis,software engineering,direct proofing,extended timestamp nets,indirect proofing,logic of actions,process-like specifications,situation-like specifications,software controllers | Control theory,Petri net,Computer science,Concurrency,Process architecture,Control engineering,Software,Software development process,Timestamp,Software development | Conference |
Volume | Issue | ISSN |
1 | 1 | 1050-4729 |
ISBN | Citations | PageRank |
0-7803-6576-3 | 2 | 0.42 |
References | Authors | |
3 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carlo Simon | 1 | 2 | 0.42 |