%0 Journal Article %1 sheldon1999composing %A Sheldon, FrederickT. %A Greiner, Stefan %D 1999 %I Kluwer Academic Publishers %J Annals of Software Engineering %K analyzing composing %N 1-4 %P 239-287 %R 10.1023/A:1018927430556 %T Composing, analyzing and validating software models to assess the performability of competing design candidates %U http://dx.doi.org/10.1023/A%3A1018927430556 %V 8 %X In a perfect world, verification and validation of a software design specification would be possible before any code was generated. Indeed, in a perfect world we would know that the implementation was correct because we could trust the class libraries, the development tools, verification tools and simulations, etc. These features would provide the confidence needed to know that all aspects (complexity, logical and timing correctness) of the design were fully satisfied (i.e., everything was right). Right in the sense that we built it right (it is correct with respect to its specification) and it solves the right problem. Unfortunately, it is not a perfect world, and therefore we must strive to continue to refine, develop and validate useful methods and tools for the creation of safe and correct software. This paper considers the analysis of systems expressed using formal notations. We introduce our framework, the modeling cycle, and motivate the need for tool supported rigorous methods. Our framework is about using systematic formal techniques for the creation and composition of software models that can further enable reasoning about high‐assurance systems. We describe several formal modeling techniques within this context (i.e., reliability and availability models, performance and functional models, performability models, etc.). This discussion includes a more precise discourse on stochastic methods (i.e., DTMC and

@article{sheldon1999composing, abstract = {In a perfect world, verification and validation of a software design specification would be possible before any code was generated. Indeed, in a perfect world we would know that the implementation was correct because we could trust the class libraries, the development tools, verification tools and simulations, etc. These features would provide the confidence needed to know that all aspects (complexity, logical and timing correctness) of the design were fully satisfied (i.e., everything was right). Right in the sense that we built it right (it is correct with respect to its specification) and it solves the right problem. Unfortunately, it is not a perfect world, and therefore we must strive to continue to refine, develop and validate useful methods and tools for the creation of safe and correct software. This paper considers the analysis of systems expressed using formal notations. We introduce our framework, the modeling cycle, and motivate the need for tool supported rigorous methods. Our framework is about using systematic formal techniques for the creation and composition of software models that can further enable reasoning about high‐assurance systems. We describe several formal modeling techniques within this context (i.e., reliability and availability models, performance and functional models, performability models, etc.). This discussion includes a more precise discourse on stochastic methods (i.e., DTMC and }, added-at = {2014-08-21T11:57:28.000+0200}, author = {Sheldon, FrederickT. and Greiner, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/206ad9c561d785595758e85c0ffe77a51/avail_map_stud}, description = {Composing, analyzing and validating software models to assess the performability of competing design candidates - Springer}, doi = {10.1023/A:1018927430556}, interhash = {04e0a89a830b764bc65eb00f22f66a54}, intrahash = {06ad9c561d785595758e85c0ffe77a51}, issn = {1022-7091}, journal = {Annals of Software Engineering}, keywords = {analyzing composing}, language = {English}, number = {1-4}, pages = {239-287}, publisher = {Kluwer Academic Publishers}, timestamp = {2014-08-21T11:57:28.000+0200}, title = {Composing, analyzing and validating software models to assess the performability of competing design candidates}, url = {http://dx.doi.org/10.1023/A%3A1018927430556}, volume = 8, year = 1999 }