A technique of a complete cycle of automated design and development of embedded software in accordance with a strictly defined architecture is presented. Its characteristic feature is a tool and technology support of software development on the basis of selected platform architecture and product specifications.
Index Terms:
Software Architecture, Formal Specifications, Consistency and Completeness of Requirements
Citation:
Sergey Baranov, Vsevolod Kotlyarov, "Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture," compsac, pp.329, 25th Annual International Computer Software and Applications Conference (COMPSAC'01), 2001