A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.
Leonardo AmorimRaimundo S. BarretoPaulo Romero Martins MacielEduardo TavaresMeuse N. Oliveira Jr.Arthur BessaRicardo Massa Ferreira LimaPublished in: ICESS (2005)
Keyphrases
- embedded real time systems
- embedded systems
- commercial software
- real time systems
- petri net
- software systems
- software development
- source code
- software maintenance
- response time
- software projects
- software developers
- development process
- utility function
- software design
- open source
- low cost
- resource usage
- wireless sensor networks