?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Different+Perspectives+for+Reasoning+about+Problems+and+Faults&rft.creator=Mazzara%2C+Manuel&rft.subject=Other&rft.description=This+paper+provides+a+different+view+for+understanding+problems+and+faults+with+the+goal+of+defining+a+method+for+the+formal+specification+of+systems.+To+accomplish+this+task+we+need+to+pass+through+a+non+trivial+number+of+steps%2C+concepts+and+tools+where+the+first+one%2C+the+most+important%2C+is+the+concept+of+method+itself%2C+since+we+realized+that+computer+science+has+a+proliferation+of+languages+but+very+few+methods.+This+work+also+proposes+the+idea+of+Layered+Fault+Tolerant+Specification+(LFTS)+to+make+the+method+extensible+to+fault+tolerant+systems.+The+principle+is+layering+the+specification%2C+for+the+sake+of+clarity%2C+in+(at+least)+two+different+levels%2C+the+first+one+for+the+normal+behavior+and+the+others+(if+more+than+one)+for+the+abnormal.+The+abnormal+behavior+is+described+in+terms+of+an+Error+Injector+(EI)+which+represents+a+model+of+the+erroneous+interference+coming+from+the+environment.+This+structure+has+been+inspired+by+the+notion+of+idealized+fault+tolerant+component+but+the+combination+of+LFTS+and+EI+using+rely+guarantee+reasoning+to+describe+their+interaction+can+be+considered+one+of+the+main+contributions+of+this+work.+The+progress+toward+this+method+and+this+way+to+organize+fault+tolerant+specifications+has+been+made%0D%0Aexperimenting+on+case+studies+presented+in+a+dedicated+section.&rft.publisher=University+of+Newcastle+upon+Tyne&rft.type=Monograph&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F156%2F1%2F1151.pdf&rft.identifier=++Mazzara%2C+Manuel+++Different+Perspectives+for+Reasoning+about+Problems+and+Faults.++Technical+Report.+University+of+Newcastle+upon+Tyne.+++++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F156%2F<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>