-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
575 lines (552 loc) · 41.7 KB
/
index.html
File metadata and controls
575 lines (552 loc) · 41.7 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
<!DOCTYPE html>
<html lang="en" class="no-js">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title data-i18n="meta.title">MB3R Lab | Sheaft resilience intelligence for networked systems</title>
<meta
name="description"
content="Sheaft turns telemetry, topology and domain constraints into live attributed graphs for resilience assessment of networked systems."
data-i18n-attr="content:meta.description"
>
<meta property="og:type" content="website">
<meta property="og:url" content="https://mb3r-lab.github.io/">
<meta property="og:site_name" content="MB3R Lab">
<meta property="og:title" content="MB3R Lab | Sheaft resilience intelligence for networked systems" data-i18n-attr="content:meta.ogTitle">
<meta
property="og:description"
content="Resilience intelligence for software infrastructure, smart mobility, and scientific reaction or interaction networks."
data-i18n-attr="content:meta.ogDescription"
>
<meta property="og:locale" content="en_US" data-i18n-attr="content:meta.ogLocale">
<meta property="og:locale:alternate" content="ru_RU">
<meta property="og:image" content="https://mb3r-lab.github.io/assets/img/og-image.png">
<meta property="og:image:alt" content="MB3R Lab model-based resilience workflow" data-i18n-attr="content:meta.ogImageAlt">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:title" content="MB3R Lab | Sheaft resilience intelligence for networked systems" data-i18n-attr="content:meta.twitterTitle">
<meta
name="twitter:description"
content="Model-based resilience intelligence for graph-structured networked systems."
data-i18n-attr="content:meta.twitterDescription"
>
<meta name="twitter:image" content="https://mb3r-lab.github.io/assets/img/og-image.png">
<meta name="twitter:image:alt" content="MB3R Lab model-based resilience workflow" data-i18n-attr="content:meta.twitterImageAlt">
<link rel="canonical" href="https://mb3r-lab.github.io/">
<link rel="alternate" href="https://mb3r-lab.github.io/?lang=en" hreflang="en">
<link rel="alternate" href="https://mb3r-lab.github.io/?lang=ru" hreflang="ru">
<link rel="alternate" href="https://mb3r-lab.github.io/" hreflang="x-default">
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
<link href="https://fonts.googleapis.com/css2?family=Manrope:wght@400;500;600;700;800&family=Space+Grotesk:wght@500;700&display=swap" rel="stylesheet">
<link rel="icon" href="assets/img/favicon.ico" sizes="any">
<link rel="apple-touch-icon" href="assets/img/apple-touch-icon.png">
<link rel="manifest" href="manifest.webmanifest">
<link rel="stylesheet" href="assets/css/style.css">
<script>document.documentElement.classList.remove('no-js');</script>
<script type="application/ld+json" data-i18n-json="schema">
{
"@context": "https://schema.org",
"@type": "WebSite",
"name": "MB3R Lab",
"url": "https://mb3r-lab.github.io/",
"description": "Resilience intelligence for networked systems",
"inLanguage": "en-US"
}
</script>
</head>
<body>
<a class="skip-link" href="#main" data-i18n="a11y.skipToContent">Skip to content</a>
<header class="site-header" id="top">
<nav class="nav container" aria-label="Primary navigation">
<a href="#top" class="brand">
<img src="assets/img/logo.svg" alt="MB3R Lab logo" data-i18n-attr="alt:nav.logoAlt" width="44" height="44">
<div class="brand-text">
<strong data-i18n="brand.name">MB3R Lab</strong>
<span data-i18n="brand.tagline">Model-based resilience</span>
</div>
</a>
<button
class="nav-toggle"
type="button"
aria-expanded="false"
aria-controls="nav-panel"
data-nav-toggle
data-i18n-attr="aria-label:nav.mobileToggleAria"
>
<span></span>
<span></span>
<span></span>
</button>
<div class="nav-panel" id="nav-panel" data-nav-panel>
<ul class="nav-list">
<li><a href="#how-it-works" class="nav-link" data-i18n="nav.links.howItWorks">How it works</a></li>
<li><a href="#use-cases" class="nav-link" data-i18n="nav.links.useCases">Use cases</a></li>
<li><a href="#products" class="nav-link" data-i18n="nav.links.products">Products</a></li>
<li><a href="#proof" class="nav-link" data-i18n="nav.links.proof">Proof</a></li>
<li><a href="#pilot" class="nav-link" data-i18n="nav.links.pilot">Pilot</a></li>
<li><a href="#research" class="nav-link" data-i18n="nav.links.research">Research</a></li>
</ul>
<div class="nav-actions">
<button
type="button"
class="button button-secondary button-small"
data-modal-target="pilot-modal"
data-i18n="nav.requestPilot"
>Request a pilot</button>
<a
href="https://github.com/MB3R-Lab"
class="github-icon-link"
target="_blank"
rel="noopener noreferrer"
data-i18n-attr="aria-label:nav.github"
>
<svg viewBox="0 0 24 24" aria-hidden="true" focusable="false">
<path
fill="currentColor"
d="M12 .5a12 12 0 0 0-3.79 23.38c.6.11.82-.26.82-.58v-2.03c-3.34.73-4.04-1.42-4.04-1.42-.54-1.37-1.33-1.74-1.33-1.74-1.08-.74.08-.72.08-.72 1.2.08 1.83 1.23 1.83 1.23 1.06 1.83 2.8 1.3 3.48 1 .1-.78.41-1.3.74-1.6-2.67-.3-5.47-1.34-5.47-5.95 0-1.31.47-2.38 1.23-3.22-.12-.3-.53-1.52.12-3.16 0 0 1-.32 3.3 1.23a11.4 11.4 0 0 1 6 0c2.3-1.55 3.3-1.23 3.3-1.23.65 1.64.24 2.86.12 3.16.77.84 1.23 1.91 1.23 3.22 0 4.62-2.8 5.64-5.48 5.95.43.37.82 1.1.82 2.22v3.29c0 .32.22.7.83.58A12 12 0 0 0 12 .5Z"
></path>
</svg>
</a>
<button
type="button"
class="theme-toggle-switch"
data-theme-toggle
aria-pressed="false"
data-i18n-attr="aria-label:nav.switchToDarkAria"
>
<span class="theme-toggle-track" aria-hidden="true">
<svg class="theme-icon theme-icon-sun" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" focusable="false" aria-hidden="true">
<circle cx="12" cy="12" r="4"></circle>
<path d="M12 2v2"></path>
<path d="M12 20v2"></path>
<path d="m4.93 4.93 1.41 1.41"></path>
<path d="m17.66 17.66 1.41 1.41"></path>
<path d="M2 12h2"></path>
<path d="M20 12h2"></path>
<path d="m6.34 17.66-1.41 1.41"></path>
<path d="m19.07 4.93-1.41 1.41"></path>
</svg>
<svg class="theme-icon theme-icon-moon" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" focusable="false" aria-hidden="true">
<path d="M12 3a7.5 7.5 0 0 0 9 9 9 9 0 1 1-9-9z"></path>
</svg>
<span class="theme-toggle-thumb"></span>
</span>
</button>
<div class="lang-switch" role="group" aria-label="Language switcher" data-i18n-attr="aria-label:nav.langGroupAria">
<button
type="button"
class="lang-button"
data-lang-set="en"
data-i18n-attr="aria-label:nav.switchToEnAria"
>EN</button>
<button
type="button"
class="lang-button"
data-lang-set="ru"
data-i18n-attr="aria-label:nav.switchToRuAria"
>RU</button>
</div>
</div>
</div>
</nav>
</header>
<main id="main">
<section class="hero section" aria-labelledby="hero-title">
<div class="container hero-layout">
<div class="hero-content">
<p class="eyebrow" data-i18n="hero.eyebrow">Sheaft</p>
<h1 id="hero-title" data-i18n="hero.title">Resilience intelligence for networked systems</h1>
<p class="hero-lead" data-i18n="hero.lead">
Sheaft turns telemetry, topology and domain constraints into a live attributed graph, stress-tests disruption scenarios, and shows which critical operations are fragile before failures propagate.
</p>
<p class="hero-note" data-i18n="hero.note">
Built for graph-structured systems: software infrastructure, smart mobility, and scientific reaction or interaction networks.
</p>
<div class="hero-actions">
<button type="button" class="button button-primary" data-modal-target="pilot-modal" data-i18n="hero.cta.pilot">Request a pilot</button>
<a href="https://github.com/MB3R-Lab/Sheaft" class="button button-primary" target="_blank" rel="noopener noreferrer" data-i18n="hero.cta.github">View GitHub</a>
<a href="#use-cases" class="button button-secondary" data-i18n="hero.cta.useCases">See use cases</a>
</div>
</div>
<aside class="hero-panel" aria-label="Networked systems resilience model" data-i18n-attr="aria-label:hero.panelAria">
<article class="hero-panel-item">
<h2 data-i18n="hero.panel.logicTitle">Different domains. Same failure logic.</h2>
<p data-i18n="hero.panel.logicText">Components interact. Dependencies shift. Signals go missing. Failures propagate.</p>
</article>
<article class="hero-panel-item">
<h2 data-i18n="hero.panel.graphTitle">Attributed graph model</h2>
<p data-i18n="hero.panel.graphText">Sheaft models the system as nodes, edges, constraints, telemetry, stressors and critical operations.</p>
</article>
</aside>
</div>
</section>
<section id="abstraction" class="section section-muted" aria-labelledby="abstraction-title">
<div class="container">
<h2 id="abstraction-title" class="section-title" data-i18n="abstraction.title">One resilience model for graph-structured systems</h2>
<p class="section-intro" data-i18n="abstraction.intro">
Sheaft represents a system as an attributed graph: nodes, edges, constraints, telemetry, stressors and critical operations. The domain changes; the resilience question stays the same: what breaks, how far it propagates, and which operations are affected.
</p>
<div class="abstraction-grid">
<article class="abstraction-card">
<h3 data-i18n="abstraction.cards.nodes.title">Nodes</h3>
<p data-i18n="abstraction.cards.nodes.text">Services, road segments, toll gates, sensors, proteins, metabolites, reactants.</p>
</article>
<article class="abstraction-card">
<h3 data-i18n="abstraction.cards.edges.title">Edges</h3>
<p data-i18n="abstraction.cards.edges.text">Calls, flows, roads, reactions, interactions.</p>
</article>
<article class="abstraction-card">
<h3 data-i18n="abstraction.cards.attributes.title">Attributes</h3>
<p data-i18n="abstraction.cards.attributes.text">Latency, capacity, speed, confidence, energy, rate, state.</p>
</article>
<article class="abstraction-card">
<h3 data-i18n="abstraction.cards.constraints.title">Constraints</h3>
<p data-i18n="abstraction.cards.constraints.text">Domain contracts, signal rules, conservation laws, biological priors.</p>
</article>
<article class="abstraction-card">
<h3 data-i18n="abstraction.cards.stressors.title">Stressors</h3>
<p data-i18n="abstraction.cards.stressors.text">Crashes, demand surges, missing observations, perturbations.</p>
</article>
<article class="abstraction-card">
<h3 data-i18n="abstraction.cards.verdict.title">Verdict</h3>
<p data-i18n="abstraction.cards.verdict.text">Fragile paths, blast radius, affected operations, resilience posture.</p>
</article>
</div>
</div>
</section>
<section id="how-it-works" class="section" aria-labelledby="how-it-works-title">
<div class="container">
<h2 id="how-it-works-title" class="section-title" data-i18n="how.title">How Sheaft works</h2>
<p class="section-intro" data-i18n="how.intro">
Bering creates explicit graph artifacts. Sheaft evaluates disruption scenarios and produces resilience verdicts for critical operations.
</p>
<ol class="pipeline" aria-label="Resilience assessment pipeline" data-i18n-attr="aria-label:how.pipelineAria">
<li class="pipeline-step">
<span class="step-number" aria-hidden="true">1</span>
<h3 data-i18n="how.steps.discover.title">Discover the system graph</h3>
<p data-i18n="how.steps.discover.text">Bering ingests telemetry, topology files, traces, event streams or explicit graph descriptions and builds a typed system model.</p>
</li>
<li class="pipeline-step">
<span class="step-number" aria-hidden="true">2</span>
<h3 data-i18n="how.steps.contracts.title">Attach domain contracts</h3>
<p data-i18n="how.steps.contracts.text">Critical operations, constraints and success predicates are attached to the graph: service journeys, corridor operations, reaction routes or biological pathways.</p>
</li>
<li class="pipeline-step">
<span class="step-number" aria-hidden="true">3</span>
<h3 data-i18n="how.steps.stress.title">Stress-test disruption scenarios</h3>
<p data-i18n="how.steps.stress.text">Sheaft simulates failures, missing observations, degraded components, demand spikes or perturbations without breaking the real system.</p>
</li>
<li class="pipeline-step">
<span class="step-number" aria-hidden="true">4</span>
<h3 data-i18n="how.steps.verdict.title">Produce a resilience verdict</h3>
<p data-i18n="how.steps.verdict.text">The result is a graph-level report: fragile components, affected operations, blast radius, posture trend and recommended validation targets.</p>
</li>
</ol>
</div>
</section>
<section id="use-cases" class="section section-muted" aria-labelledby="use-cases-title">
<div class="container">
<h2 id="use-cases-title" class="section-title" data-i18n="useCases.title">Three high-value domains. One resilience engine.</h2>
<div class="use-case-grid">
<article class="use-case-card">
<span class="card-badge" data-i18n="useCases.sre.badge">Most mature: public MVP + experiments</span>
<h3 data-i18n="useCases.sre.title">SRE and digital infrastructure</h3>
<p data-i18n="useCases.sre.text">Sheaft evaluates resilience of software systems before release and between releases. It builds service graphs from trace data or topology artifacts, simulates dependency failures, and returns a gate or posture verdict for critical user journeys.</p>
<p class="supporting-note">
<span data-i18n="useCases.sre.support">Digital infrastructure is graph-structured operational infrastructure. Services, APIs, queues, databases, replicas, release policies and user operations form one dependency graph.</span>
<a href="#proof" data-i18n="useCases.sre.links.proof">Validation evidence</a>
</p>
<div class="io-grid">
<div>
<h4 data-i18n="useCases.inputsTitle">Inputs</h4>
<ul class="bullet-list compact">
<li data-i18n="useCases.sre.inputs.0">Traces/OTLP</li>
<li data-i18n="useCases.sre.inputs.1">Service topology</li>
<li data-i18n="useCases.sre.inputs.2">Endpoint contracts</li>
<li data-i18n="useCases.sre.inputs.3">CI/CD artifacts</li>
<li data-i18n="useCases.sre.inputs.4">Incident history</li>
</ul>
</div>
<div>
<h4 data-i18n="useCases.outputsTitle">Outputs</h4>
<ul class="bullet-list compact">
<li data-i18n="useCases.sre.outputs.0">Release-risk verdict</li>
<li data-i18n="useCases.sre.outputs.1">Fragile dependencies</li>
<li data-i18n="useCases.sre.outputs.2">Affected endpoints</li>
<li data-i18n="useCases.sre.outputs.3">Chaos-test priorities</li>
<li data-i18n="useCases.sre.outputs.4">Posture history</li>
</ul>
</div>
</div>
</article>
<article class="use-case-card">
<span class="card-badge" data-i18n="useCases.mobility.badge">Pilot-ready</span>
<h3 data-i18n="useCases.mobility.title">Smart mobility and traffic corridors</h3>
<p data-i18n="useCases.mobility.text">Sheaft evaluates resilience of smart mobility infrastructure represented as a live attributed graph: road segments, intersections, toll gates, sensors, signal controllers, payment systems and operations centers.</p>
<p class="supporting-note">
<span data-i18n="useCases.mobility.support">Smart mobility is cyber-physical infrastructure. Road networks, tolling, sensors and digital services form one distributed operational graph.</span>
<a href="https://www.nist.gov/programs-projects/cyber-physical-systemsinternet-things-smart-cities" target="_blank" rel="noopener noreferrer" data-i18n="useCases.mobility.links.nist">NIST CPS context</a><span aria-hidden="true">/</span><a href="https://sumo.dlr.de/docs/Networks/SUMO_Road_Networks.html" target="_blank" rel="noopener noreferrer" data-i18n="useCases.mobility.links.sumo">SUMO road graph</a>
</p>
<div class="io-grid">
<div>
<h4 data-i18n="useCases.inputsTitle">Inputs</h4>
<ul class="bullet-list compact">
<li data-i18n="useCases.mobility.inputs.0">Road topology</li>
<li data-i18n="useCases.mobility.inputs.1">Traffic/toll events</li>
<li data-i18n="useCases.mobility.inputs.2">Sensor observations</li>
<li data-i18n="useCases.mobility.inputs.3">Signal timings</li>
<li data-i18n="useCases.mobility.inputs.4">Incident logs</li>
</ul>
</div>
<div>
<h4 data-i18n="useCases.outputsTitle">Outputs</h4>
<ul class="bullet-list compact">
<li data-i18n="useCases.mobility.outputs.0">Fragile corridors</li>
<li data-i18n="useCases.mobility.outputs.1">Missing observations</li>
<li data-i18n="useCases.mobility.outputs.2">Incident propagation</li>
<li data-i18n="useCases.mobility.outputs.3">Affected mobility journeys</li>
<li data-i18n="useCases.mobility.outputs.4">Operator resilience verdict</li>
</ul>
</div>
</div>
</article>
<article class="use-case-card">
<span class="card-badge" data-i18n="useCases.science.badge">Research and partner pilots</span>
<h3 data-i18n="useCases.science.title">Chemistry and biology networks</h3>
<p data-i18n="useCases.science.text">Sheaft analyzes chemical reaction networks, biological interaction networks, metabolic pathways and bioprocess graphs to find fragile routes, critical intermediates, observation gaps and perturbation-sensitive modules.</p>
<p class="supporting-note">
<span data-i18n="useCases.science.support">These systems are routinely modeled as graphs: reactions connect reactants, intermediates and products; biological networks connect proteins, genes, metabolites and signaling interactions.</span>
<a href="https://www.ebi.ac.uk/training/online/courses/network-analysis-of-protein-interaction-data-an-introduction/types-of-biological-networks/" target="_blank" rel="noopener noreferrer" data-i18n="useCases.science.links.ebi">EMBL-EBI biological networks</a><span aria-hidden="true">/</span><a href="https://pubs.rsc.org/en/content/articlehtml/2025/re/d5re00170f" target="_blank" rel="noopener noreferrer" data-i18n="useCases.science.links.rsc">RSC reaction networks</a>
</p>
<div class="io-grid">
<div>
<h4 data-i18n="useCases.inputsTitle">Inputs</h4>
<ul class="bullet-list compact">
<li data-i18n="useCases.science.inputs.0">Reaction networks</li>
<li data-i18n="useCases.science.inputs.2">Pathway models</li>
<li data-i18n="useCases.science.inputs.1">Biological interaction graphs</li>
<li data-i18n="useCases.science.inputs.3">Experimental observations</li>
</ul>
</div>
<div>
<h4 data-i18n="useCases.outputsTitle">Outputs</h4>
<ul class="bullet-list compact">
<li data-i18n="useCases.science.outputs.0">Critical intermediates</li>
<li data-i18n="useCases.science.outputs.1">Alternative routes</li>
<li data-i18n="useCases.science.outputs.2">Fragile modules</li>
<li data-i18n="useCases.science.outputs.3">Perturbation blast radius</li>
</ul>
</div>
</div>
</article>
</div>
</div>
</section>
<section id="products" class="section" aria-labelledby="products-title">
<div class="container">
<h2 id="products-title" class="section-title" data-i18n="products.title">Two layers: model discovery and resilience assessment</h2>
<div class="products-grid">
<article class="product-card" aria-labelledby="bering-title">
<h3 id="bering-title" data-i18n="products.bering.title">Bering: system-graph discovery and artifact publishing</h3>
<p data-i18n="products.bering.summary">Bering builds typed graph artifacts from telemetry, topology inputs, traces, event streams or explicit domain models. It publishes stable model and snapshot artifacts for downstream resilience analysis.</p>
<ul class="bullet-list compact">
<li data-i18n="products.bering.points.0">Discovers typed graph structure from traces, OTLP, event streams or explicit topology.</li>
<li data-i18n="products.bering.points.1">Normalizes nodes, edges, attributes and domain contracts.</li>
<li data-i18n="products.bering.points.2">Publishes stable model/snapshot artifacts.</li>
<li data-i18n="products.bering.points.3">Keeps provenance so teams can inspect where each part of the model came from.</li>
</ul>
<div class="card-links">
<a href="https://github.com/MB3R-Lab/Bering" target="_blank" rel="noopener noreferrer" data-i18n="products.bering.links.repo">Bering on GitHub</a>
<a href="https://github.com/MB3R-Lab/Bering/blob/main/docs/install.md" target="_blank" rel="noopener noreferrer" data-i18n="products.bering.links.docs">Bering docs</a>
</div>
</article>
<article class="product-card" aria-labelledby="sheaft-title">
<h3 id="sheaft-title" data-i18n="products.sheaft.title">Sheaft: resilience simulation, verdicts and posture history</h3>
<p data-i18n="products.sheaft.summary">Sheaft consumes graph artifacts, stress-tests disruption scenarios, evaluates domain policies and tracks resilience posture over time.</p>
<ul class="bullet-list compact">
<li data-i18n="products.sheaft.points.0">Runs simulation-based resilience analysis on graph artifacts.</li>
<li data-i18n="products.sheaft.points.1">Evaluates policy rules for critical operations.</li>
<li data-i18n="products.sheaft.points.2">Reports fragile components, affected operations and blast radius.</li>
<li data-i18n="products.sheaft.points.3">Supports batch checks and continuous posture tracking.</li>
</ul>
<div class="card-links">
<a href="https://github.com/MB3R-Lab/Sheaft" target="_blank" rel="noopener noreferrer" data-i18n="products.sheaft.links.repo">Sheaft on GitHub</a>
<a href="https://github.com/MB3R-Lab/Sheaft/blob/main/docs/install.md" target="_blank" rel="noopener noreferrer" data-i18n="products.sheaft.links.docs">Sheaft docs</a>
</div>
</article>
</div>
</div>
</section>
<section id="proof" class="section section-muted" aria-labelledby="proof-title">
<div class="container">
<h2 id="proof-title" class="section-title" data-i18n="proof.title">Validated on distributed systems, designed for broader networked infrastructure</h2>
<div class="proof-grid">
<article class="proof-card">
<h3 data-i18n="proof.cards.icse.title">ICSE 2026 Distinguished Paper Award</h3>
<p data-i18n="proof.cards.icse.text">Model Discovery and Graph Simulation was recognized in ICSE 2026 NIER with a Distinguished Paper Award.</p>
<a href="https://conf.researchr.org/details/icse-2026/icse-2026-nier/25/Model-Discovery-and-Graph-Simulation-A-Lightweight-Gateway-to-Chaos-Engineering" target="_blank" rel="noopener noreferrer" data-i18n="proof.cards.icse.link">Official ICSE page</a>
</article>
<article class="proof-card">
<h3 data-i18n="proof.cards.deathstar.title">DeathStarBench experiments</h3>
<p data-i18n="proof.cards.deathstar.text">Graph-discovered resilience models were evaluated against live fault-injection outcomes on a distributed benchmark.</p>
</article>
<article class="proof-card">
<h3 data-i18n="proof.cards.otel.title">OpenTelemetry Demo experiments</h3>
<p data-i18n="proof.cards.otel.text">The model-discovery and simulation pipeline was tested on the OpenTelemetry Demo, including trace-derived dependencies and endpoint-level success predicates.</p>
</article>
<article class="proof-card">
<h3 data-i18n="proof.cards.mvp.title">Public MVP</h3>
<p data-i18n="proof.cards.mvp.text">Bering and Sheaft are available as public tools for graph discovery, simulation, verdicts and posture monitoring.</p>
<a href="https://github.com/MB3R-Lab" target="_blank" rel="noopener noreferrer" data-i18n="proof.cards.mvp.link">GitHub</a>
</article>
</div>
<article class="proof-takeaway">
<h3 data-i18n="proof.takeaway.title">What this proves</h3>
<p data-i18n="proof.takeaway.text">Sheaft can turn passive telemetry into an explicit model and produce useful resilience signals without running broad live experiments every time.</p>
</article>
<article class="demo-block" aria-labelledby="demo-title">
<div>
<h3 id="demo-title" data-i18n="demo.title">Demo report: digital infrastructure use case</h3>
<p data-i18n="demo.text">The current public report shows the most mature software-infrastructure workflow. The same report pattern extends to mobility and scientific-network pilots.</p>
</div>
<div class="report-preview">
<img src="assets/img/sheaft_demo.png" alt="" data-i18n-attr="alt:demo.imageAlt" class="report-preview-image">
</div>
<div class="report-template-grid">
<article class="report-template-card">
<h4 data-i18n="demo.templates.mobility.title">Smart mobility report template</h4>
<p data-i18n="demo.templates.mobility.text">Corridor graph, missing observations, affected mobility journeys, disruption propagation.</p>
</article>
<article class="report-template-card">
<h4 data-i18n="demo.templates.science.title">Chemistry/biology report template</h4>
<p data-i18n="demo.templates.science.text">Reaction/pathway graph, critical intermediates, perturbation-sensitive modules, alternative routes.</p>
</article>
</div>
</article>
</div>
</section>
<section id="pilot" class="section" aria-labelledby="pilot-title">
<div class="container">
<h2 id="pilot-title" class="section-title" data-i18n="pilot.title">Start with one graph, one critical operation, one historical period</h2>
<div class="pilot-grid">
<article class="pilot-card">
<h3 data-i18n="pilot.cards.sre.title">SRE pilot</h3>
<p data-i18n="pilot.cards.sre.text">Start from trace data, topology and incident history for one service domain. Sheaft builds a model, runs failure scenarios, and compares the result with known incidents or release risks.</p>
</article>
<article class="pilot-card">
<h3 data-i18n="pilot.cards.mobility.title">Smart mobility pilot</h3>
<p data-i18n="pilot.cards.mobility.text">Use topology and telemetry from one corridor, tolling domain, parking/payment flow or sensorized mobility area. Sheaft identifies fragile components, missing observations and affected mobility journeys.</p>
</article>
<article class="pilot-card">
<h3 data-i18n="pilot.cards.science.title">Chemistry/biology research pilot</h3>
<p data-i18n="pilot.cards.science.text">Use a reaction network, biological interaction graph or pathway model with perturbation scenarios. Sheaft identifies critical intermediates, fragile modules and robustness hypotheses.</p>
</article>
</div>
</div>
</section>
<section id="research" class="section section-muted" aria-labelledby="research-title">
<div class="container">
<h2 id="research-title" class="section-title" data-i18n="research.title">Research base: graph models, resilience and emergence</h2>
<p class="section-intro" data-i18n="research.text">
Sheaft is grounded in model discovery, graph simulation, sheaf-theoretic consistency, causal emergence and resilience monitoring. The product packages these ideas into practical workflows for networked systems.
</p>
<div class="research-grid">
<article class="research-card">
<h3 data-i18n="research.groups.core.title">Core engine</h3>
<ul class="inline-links">
<li><a href="https://www.alphaxiv.org/abs/2506.11176" target="_blank" rel="noopener noreferrer" data-i18n="research.links.modelDiscovery">Model Discovery and Graph Simulation</a></li>
<li><a href="https://www.alphaxiv.org/abs/2512.12314" target="_blank" rel="noopener noreferrer" data-i18n="research.links.asyncSemantics">Evaluating Asynchronous Semantics in Trace-Discovered Resilience Models</a></li>
</ul>
</article>
<article class="research-card">
<h3 data-i18n="research.groups.emergence.title">Emergence and self-governance</h3>
<ul class="inline-links">
<li><a href="https://www.alphaxiv.org/abs/2602.05458" target="_blank" rel="noopener noreferrer" data-i18n="research.links.emergence">Emergence-as-Code</a></li>
<li><a href="https://www.alphaxiv.org/abs/2503.14104" target="_blank" rel="noopener noreferrer" data-i18n="research.links.sheaf">Sheaf-Theoretic Causal Emergence</a></li>
<li><a href="https://www.alphaxiv.org/abs/2602.05483" target="_blank" rel="noopener noreferrer" data-i18n="research.links.rasmussen">Rasmussen/Drift Observability</a></li>
</ul>
</article>
<article class="research-card">
<h3 data-i18n="research.groups.extensions.title">Scientific network extensions</h3>
<ul class="bullet-list compact">
<li data-i18n="research.extensions.0">Chemistry/biology network resilience</li>
<li data-i18n="research.extensions.1">Traffic corridor resilience</li>
</ul>
</article>
</div>
</div>
</section>
<section class="grant-section" aria-labelledby="grant-title">
<div class="container">
<a class="grant-card" href="https://fasie.ru/" target="_blank" rel="noopener noreferrer">
<span class="grant-logo-wrap">
<img class="grant-logo" src="assets/img/fasie-logo.svg" alt="Foundation for Assistance to Small Innovative Enterprises" width="180" height="93" data-i18n-attr="alt:grant.logoAlt">
</span>
<span class="grant-copy">
<span id="grant-title" class="grant-title" data-i18n="grant.title">This project is implemented with grant support from Фонд содействия инновациям.</span>
<span class="grant-text" data-i18n="grant.text">The link opens the official website of the Fund.</span>
</span>
</a>
</div>
</section>
</main>
<div class="modal" id="pilot-modal" aria-hidden="true">
<div class="modal-overlay" data-modal-close></div>
<div class="modal-dialog" role="dialog" aria-modal="true" aria-labelledby="pilot-modal-title">
<button type="button" class="modal-close" data-modal-close aria-label="" data-i18n-attr="aria-label:modal.closeAria">
×
</button>
<h3 id="pilot-modal-title" data-i18n="modal.title">Request a pilot with MB3R Lab</h3>
<p class="modal-description" data-i18n="modal.description">Share your details and we will follow up with pilot onboarding steps and a target integration plan.</p>
<form id="application-form" class="modal-form">
<div class="form-group">
<label for="application-email" data-i18n="form.emailLabel">Work email *</label>
<input type="email" id="application-email" name="email" placeholder="" data-i18n-attr="placeholder:form.emailPlaceholder" required>
</div>
<div class="form-group">
<label for="application-company" data-i18n="form.companyLabel">Company *</label>
<input type="text" id="application-company" name="company" placeholder="" data-i18n-attr="placeholder:form.companyPlaceholder" required>
</div>
<div class="form-group">
<label for="application-pilot-context" data-i18n="form.contextLabel">Pilot context</label>
<select id="application-pilot-context" data-i18n-attr="aria-label:form.contextLabel">
<option value="digital-infrastructure" data-i18n="form.contextOptions.sre">Digital infrastructure/SRE</option>
<option value="smart-mobility" data-i18n="form.contextOptions.mobility">Smart mobility/traffic</option>
<option value="science" data-i18n="form.contextOptions.science">Chemistry/biology</option>
<option value="other" data-i18n="form.contextOptions.other">Other graph-structured system</option>
</select>
</div>
<div class="form-group">
<label for="application-comment" data-i18n="form.commentLabel">Context (optional)</label>
<textarea id="application-comment" name="comment" rows="3" placeholder="" data-i18n-attr="placeholder:form.commentPlaceholder"></textarea>
</div>
<div class="form-meta">
<small data-i18n="form.note">After we receive your request, we will contact you by work email.</small>
</div>
<button type="submit" class="button button-primary" id="application-submit" data-i18n="form.submit">Submit request</button>
<p class="form-status" id="application-status" role="status" aria-live="polite"></p>
</form>
</div>
</div>
<footer class="site-footer">
<div class="container footer-layout">
<div>
<p class="footer-title" data-i18n="footer.title">MB3R Lab</p>
<p class="footer-description" data-i18n="footer.description">Research-backed tooling for model-based resilience in networked systems.</p>
<p class="footer-copyright">
© <span data-current-year></span> <span data-i18n="footer.copyright">MB3R Lab. All rights reserved.</span>
</p>
</div>
<ul class="footer-links">
<li><a href="https://github.com/MB3R-Lab" target="_blank" rel="noopener noreferrer" data-i18n="footer.links.github">GitHub</a></li>
<li><a href="https://github.com/MB3R-Lab/Bering/blob/main/docs/install.md" target="_blank" rel="noopener noreferrer" data-i18n="footer.links.docs">Docs</a></li>
<li><a href="https://github.com/MB3R-Lab/Sheaft/tree/main/examples/ci" target="_blank" rel="noopener noreferrer" data-i18n="footer.links.examples">Try digital-infrastructure example</a></li>
</ul>
</div>
</footer>
<script src="assets/js/i18n.js"></script>
<script src="assets/js/config.js"></script>
<script src="assets/js/storage.js"></script>
<script src="assets/js/main.js"></script>
</body>
</html>