A New Specification of Software Components for Embedded Systems.
Takuya AzumiMasanari YamamotoYasuo KominamiNobuhisa TakagiHiroshi OyamaHiroaki TakadaPublished in: ISORC (2007)
Keyphrases
- embedded systems
- software components
- software systems
- formal specification
- software reuse
- software development
- computing power
- software engineering
- resource limited
- embedded software
- low cost
- software modules
- embedded devices
- source code
- high level
- real time systems
- java programs
- commercial off the shelf
- hardware software
- web services
- formal methods
- software architecture
- building blocks
- flash memory
- embedded real time systems
- field programmable gate array
- software quality
- hw sw
- component based development
- consumer electronics
- case study