Stack processor architecture and development methods suitable for dependable applications